Search results for "WAM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
129	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
127	Bart Demoen, Konstantinos Sagonas	CHAT Is Theta(SLG-Wam).	LPAR	1999	DBLP DOI BibTeX RDF
118	Bart Demoen, Konstantinos Sagonas	CHAT: The Copy-Hybrid Approach to Tabling.	PADL	1999	DBLP DOI BibTeX RDF
103	Bart Demoen, Konstantinos Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
95	Yaoqing Gao, Chengzheng Sun, Shouren Hu	Study of a Parallel Inference Machine for Parallel Execution of Logic Programs.	CONPAR	1990	DBLP DOI BibTeX RDF	OR-Forest Description, Restricted AND Parallelism, Limited OR Parallelism, RAP/LOP-WAM, Logic Programming, WAM
89	Bart Demoen, Konstantinos Sagonas	CAT: The Copying Approach to Tabling.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
84	Heng Xu, John W. Bagby, Terence Ryan Melonas	Regulating Privacy in Wireless Advertising Messaging: FIPP Compliance by Policy vs. by Design.	Privacy Enhancing Technologies	2009	DBLP DOI BibTeX RDF	Fair Information Practice Principles (FIPP), industry self-regulation, wireless advertising messaging (WAM), architecture design, privacy enhancing technologies (PETs), government regulation
82	Bart Demoen	A Different Look at Garbage Collection for the WAM.	ICLP	2002	DBLP DOI BibTeX RDF
82	Henning Makholm, Konstantinos Sagonas	On Enabling the WAM with Region Support.	ICLP	2002	DBLP DOI BibTeX RDF
82	Christoph Beierle, Egon Börger	Correctness Proof For the WAM with Types.	CSL	1991	DBLP DOI BibTeX RDF
68	Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira	Incremental Answer Completion in the SLG-WAM.	ICLP	2009	DBLP DOI BibTeX RDF
68	Bart Demoen, Phuong-Lan Nguyen	Two WAM Implementations of Action Rules.	ICLP	2008	DBLP DOI BibTeX RDF
68	Dongha Shin, Michael L. Hilton	Compilation of Disjunctive Logic Programs Using an Extended WAM.	COMPSAC	1996	DBLP DOI BibTeX RDF
68	Paul Tarau	Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.	RCLP	1991	DBLP DOI BibTeX RDF
53	Bart Demoen, Phuong-Lan Nguyen	Environment Reuse in the WAM.	ICLP	2008	DBLP DOI BibTeX RDF
53	Bart Demoen, Phuong-Lan Nguyen	So Many WAM Variations, So Little Time.	Computational Logic	2000	DBLP DOI BibTeX RDF
53	Michel Ferreira, Luís Damas	Multiple Specialization of WAM Code.	PADL	1999	DBLP DOI BibTeX RDF	Prolog Compilation, Code Specialization, Program Analysis
53	Julio García Marrtín, Juan José Moreno-Navarro	FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG.	LPAR	1992	DBLP DOI BibTeX RDF
53	Egon Börger, Dean Rosenzweig	WAM Algebras - A Mathematical Study of Implementation, Part 2.	RCLP	1991	DBLP DOI BibTeX RDF
48	Bart Demoen, Geert Engels, Paul Tarau	Segment order preserving copying garbage collection for WAM based Prolog.	SAC	1996	DBLP DOI BibTeX RDF	WAM based Prolog implementation, memory management of logic programming languages, segment order preserving copying garbage collection, Prolog, Prolog
47	Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso	An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.	ICLP	1989	DBLP BibTeX RDF
44	Sayanthan Logeswaran, Eliathamby Ambikairajah, Julien Epps	Computational Identification of Short Initial Exons.	PRIB	2006	DBLP DOI BibTeX RDF
44	Luís Fernando Castro, Vítor Santos Costa	Understanding Memory Management in Prolog Systems.	ICLP	2001	DBLP DOI BibTeX RDF
44	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
44	Juliana Freire, Terrance Swift, David Scott Warren	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.	PLILP	1996	DBLP DOI BibTeX RDF
44	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF
41	Paul Tarau, Ulrich Neumerkel	A Novel Term Compression Scheme and Data Representation in the BinWAM.	PLILP	1994	DBLP DOI BibTeX RDF	implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM
41	Jacques Briat, M. Favre, Cláudio F. R. Geyer, Jacques Chassin de Kergommeaux	Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.	PARLE (2)	1991	DBLP DOI BibTeX RDF	OPERA, OR-parallel Prolog, reconfigurable multiprocessor, distributed-memory, WAM, Supernode, scalable multiprocessor
38	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
38	Le Yang 0003, Yongsun Choi	A Flexible Access Control Model for Dynamic Workflow Using Extended WAM and RBAC.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Workflow Authorization Model, Role-based Access Control, Workflow System
38	Johannes Meinecke, Martin Gaedke	Modeling Federations of Web Applications with WAM.	LA-WEB	2005	DBLP DOI BibTeX RDF
38	Michel Ferreira, Luís Damas	WAM Local Analysis.	PADL	2003	DBLP DOI BibTeX RDF	Prolog Compilation, Multiple Specialization, Abstract Interpretation
38	Henry Y. K. Lau, Lionel C. C. Wai	A Jacobian-based redundant control strategy for the7-DOF WAM.	ICARCV	2002	DBLP DOI BibTeX RDF
38	Werner Hans	A Complete Indexing Scheme for WAM-based Abstract Machines.	PLILP	1992	DBLP DOI BibTeX RDF
38	Hans-Günther Hein, Manfred Meyer	A WAM Compilation Scheme.	RCLP	1991	DBLP DOI BibTeX RDF
30	Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
30	Luca De Marchi, Emanuele Baravelli, Francesco Franzè, Nicolò Speciale	Wavelet Adaptivity for 3-D Device Simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
30	Neng-Fa Zhou	A Register-Free Abstract Prolog Machine with Jumbo Instructions.	ICLP	2007	DBLP DOI BibTeX RDF
30	Asaad Hakeem, Roberto Vezzani, Mubarak Shah, Rita Cucchiara	Estimating Geospatial Trajectory of a Moving Camera.	ICPR (2)	2006	DBLP DOI BibTeX RDF
30	Hans Albrecht Schmid, Oliver Herfort	A Behavioral Semantics of OOHDM Core Features and of Its Business Process Extension.	ICWE	2004	DBLP DOI BibTeX RDF
30	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen	Trailing Analysis for HAL.	ICLP	2002	DBLP DOI BibTeX RDF
30	Xining Li	Program Sharing: A New Implementation Approach for Prolog.	PLILP	1996	DBLP DOI BibTeX RDF
30	Konstantinos Sagonas, Terrance Swift, David Scott Warren	XSB as an Efficient Deductive Database Engine.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Prolog
30	Paul Tarau	BinProlog: a Continuation Passing Style Prolog Engine.	PLILP	1992	DBLP DOI BibTeX RDF
30	Bart Demoen, André Mariën	Implementation of Prolog as Binary Definite Programs.	RCLP	1991	DBLP DOI BibTeX RDF
30	Michael Hanus	Compiling Logic Programs with Equality.	PLILP	1990	DBLP DOI BibTeX RDF
26	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
26	Paul Tarau, Bart Demoen, Koenraad De Bosschere	The power of partial tanslation: an experiment with the C-ification of binary Prolog.	SAC	1995	DBLP DOI BibTeX RDF	BinWAM, compilation of binary prolog, programming language translation techniques, prolog to C translation, Prolog, C, WAM
26	Jan Newmarch	A Case Study in Deterministic Prolog.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	Kwywords and phrases Prolog, compilation, determinism, WAM
25	Konstantinos Sagonas, Peter J. Stuckey	Just enough tabling.	PPDP	2004	DBLP DOI BibTeX RDF	suspension/resumption in the WAM, logic programming, pruning, tabling
23	Ali Akram Abdul-Kareem, Waleed Ameen Mahmoud Al-Jawher	A Hybrid Domain Medical Image Encryption Scheme Using URUK and WAM Chaotic Maps with Wavelet - Fourier Transforms.	J. Cyber Secur. Mobil.	2023	DBLP DOI BibTeX RDF
23	Michel Buffa, Antoine Vidal-Mazuy	WAM-studio, a Digital Audio Workstation (DAW) for the Web.	WWW (Companion Volume)	2023	DBLP DOI BibTeX RDF
23	Michel Buffa, Antoine Vidal-Mazuy, Lloyd May, Marco Winckler	WAM-Studio: A Web-Based Digital Audio Workstation to Empower Cochlear Implant Users.	INTERACT (1)	2023	DBLP DOI BibTeX RDF
23	Yanyan Zhang, Sheng Chang, Robert Wang 0001, Peng Li, Yongwei Zhang 0001, Yunkai Deng	A Novel Weighted Amplitude Modulation (WAM) System for Ambiguity Suppression of Spaceborne Hybrid Quad-Pol SAR.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
23	Wouter van der Waal	WAM! - WorkAround Mining in Healthcare.	BPM (PhD/Demos)	2022	DBLP BibTeX RDF
23	Andang Rikky Pradana, Dendi P. Ishak	Improvement of Production Performance Using WAM & VALSAT Method in Liquid Soap Line.	APCoRISE	2021	DBLP DOI BibTeX RDF
23	David Scott Warren	WAM for everyone: a virtual machine for logic programming.	Declarative Logic Programming	2018	DBLP DOI BibTeX RDF
23	Reza Yazdanpanah Abdolmalaki	Geometric Jacobians Derivation and Kinematic Singularity Analysis for Smokie Robot Manipulator & the Barrett WAM.	CoRR	2017	DBLP BibTeX RDF
23	Reza Yazdanpanah Abdolmalaki	Development of Direct Kinematics and Workspace Representation for Smokie Robot Manipulator & the Barret WAM.	CoRR	2017	DBLP BibTeX RDF
23	Jyotsna Pandey, Kazuhiko Hasegawa	Path Following of Underactuated Catamaran Surface Vessel (WAM-V) Using Fuzzy Waypoint Guidance Algorithm.	IntelliSys (2)	2016	DBLP DOI BibTeX RDF
23	Alexandros Lioulemes, Paul Sassaman, Shawn N. Gieser, Vangelis Karkaletsis, Fillia Makedon, Vangelis Metsis	Self-managed patient-game interaction using the barrett WAM arm for motion analysis.	PETRA	2015	DBLP DOI BibTeX RDF
23	Scott Phan, Alexandros Lioulemes, Cyril Lutterodt, Fillia Makedon, Vangelis Metsis	Guided physical therapy through the use of the Barrett WAM robotic arm.	HAVE	2014	DBLP DOI BibTeX RDF
23	Dongyoung Seo, Dongkun Shin	WAM: Wear wear-out-aware memory management for SCRAM-based low power mobile systems.	IEEE Trans. Consumer Electron.	2013	DBLP DOI BibTeX RDF
23	Cristóvão D. Sousa, Rui Cortesão	Physically feasible dynamic parameter identification of the 7-DOF WAM robot.	IROS	2013	DBLP DOI BibTeX RDF
23	D. Venkata Subramanian, Angelina Geetha	Application of Multi-Dimensional Metric Model, Database, and WAM for KM System Evaluation.	Int. J. Knowl. Manag.	2012	DBLP DOI BibTeX RDF
23	D. Venkata Subramanian, Angelina Geetha, K. M. Mehata, K. Mohammed Hussain	KM System Evaluation - A Hybrid Approach Using Four Dimension Metric Database and WAM.	ACITY (3)	2012	DBLP DOI BibTeX RDF
23	Tingting Liu, Max Q.-H. Meng	Study on cooperation between humanoid robot Nao and Barrett WAM.	ROBIO	2012	DBLP DOI BibTeX RDF
23	Diwakar Krishnamurthy, Jerry Rolia, Min Xu	WAM - The Weighted Average Method for Predicting the Performance of Systems with Bursts of Customer Sessions.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	queuing theory, modeling techniques, Performance of systems, operational analysis
23	Mostafa H. Ammar	Living in the WAM continuum: unified design and operation of wireless and mobile networks.	MSWiM	2011	DBLP DOI BibTeX RDF
23	Paulo André, Salvador Abreu	Casting of the WAM as an EAM	CoRR	2010	DBLP BibTeX RDF
23	Andrew D. Ker, Ivans Lubenko	Feature reduction and payload location with WAM steganalysis.	Media Forensics and Security	2009	DBLP DOI BibTeX RDF
23	José-Alberto Castañeda, Francisco Muñoz-Leiva, Teodoro Luque	Web Acceptance Model (WAM): Moderating effects of user experience.	Inf. Manag.	2007	DBLP DOI BibTeX RDF
23	Ruben Vandeginste, Bart Demoen	Incremental copying garbage collection for WAM-based Prolog systems.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
23	Xiao-Ming Li, Thomas König 0001, Susanne Lehner, Johannes Schulz-Stellenfleth	Measurement of extreme wave height by ERS-2 SAR and numerical wave model (WAM).	IGARSS	2007	DBLP DOI BibTeX RDF
23	Ruben Vandeginste	Copying garbage collection for WAM-based prolog systems.		2007	RDF
23	Ruben Vandeginste, Bart Demoen	Incremental copying garbage collection for WAM-based Prolog systems	CoRR	2006	DBLP BibTeX RDF
23	Pascual Julián Iranzo, Clemente Rubio-Manzano	A WAM implementation for flexible query answering.	Artificial Intelligence and Soft Computing	2006	DBLP BibTeX RDF
23	Qiankun Zhao, Sourav S. Bhowmick, Le Gruenwald	WAM-Miner: in the search of web access motifs from historical web log data.	CIKM	2005	DBLP DOI BibTeX RDF	dynamic pattern, web access motif, web usage mining
23	Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste	Copying Garbage Collection for the WAM: To Mark or Not to Mark?	ICLP	2002	DBLP DOI BibTeX RDF
23	Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers	An Extension of the WAM for Hybrid Interval Solvers.	J. Funct. Log. Program.	1999	DBLP BibTeX RDF
23	Gerhard Schellhorn, Wolfgang Ahrendt	Reasoning about Abstract State Machines: The WAM Case Study.	J. Univers. Comput. Sci.	1997	DBLP DOI BibTeX RDF
23	Dante Baldan, Gilberto Filé	Abstract Interpretation from Improving WAM Code.	SAS	1997	DBLP DOI BibTeX RDF
23	Christoph Beierle, Egon Börger	Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
23	Christoph Beierle, Egon Börger	Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
23	Cornelia Pusch	Verification of Compiler Correctness for the WAM.	TPHOLs	1996	DBLP DOI BibTeX RDF
23	Ulrich Neumerkel	Interprocedural Register Allocation for the WAM based on Source to Source Transformations.	JICSLP	1996	DBLP BibTeX RDF
23	Arcot Rajasekar, H. Yusuf	DWAM - A WAM Model Extension for Disjunctive Logic Programming.	Ann. Math. Artif. Intell.	1995	DBLP DOI BibTeX RDF
23	Egon Börger, Dean Rosenzweig	The WAM - Definition and Compiler Correctness.	Logic Programming: Formal Methods and Practical Applications	1995	DBLP BibTeX RDF
23	Konstantinos Sagonas, David Scott Warren	Efficient Execution of HiLog in WAM-based Prolog Implementations.	ICLP	1995	DBLP BibTeX RDF
23	Terrance Swift, David Scott Warren	Analysis of SLG-WAM Evaluation of Definite Programs.	ILPS	1994	DBLP BibTeX RDF
23	Stephan Diehl 0001	Towards a Verified OR-Parallel WAM.	ICLP	1994	DBLP BibTeX RDF
23	J. H. M. Lee, T. W. Lee	A WAM-Based Abstract Machine for Interval Constraint Logic Programming.	ICTAI	1994	DBLP DOI BibTeX RDF
23	Paul Tarau	An Efficient Specialization of the WAM for Continuation Passing Binary Programs.	ILPS	1993	DBLP BibTeX RDF
23	Roland Paterson-Jones, Peter T. Wood	Extending the WAM for HiLog.	ILPS	1993	DBLP BibTeX RDF
23	A. Chiarelli, V. Mazzotta, Chiara Renso	A WAM Estesa per la Composizione di Programi Logici.	GULP	1993	DBLP BibTeX RDF
23	Iliano Cervesato, Gianfranco Rossi	A WAM Implementation for the Logic Meta Programming Language 'Log.	GULP	1993	DBLP BibTeX RDF
23	Alexander Ja. Dikovsky	Abstract Complexity of Prolog Based on WAM.	PLILP	1993	DBLP DOI BibTeX RDF
23	Agostino Dovier, Enrico Pontelli	A WAM-Based Implementation of a Logical Language with Sets.	PLILP	1993	DBLP DOI BibTeX RDF
23	Daniel Diaz 0001, Philippe Codognet	A Minimal Extension of the WAM for clp(FD).	ICLP	1993	DBLP BibTeX RDF
23	Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby	Istropolitan-a WAM Based Fuzzy Prolog.	ICLP	1993	DBLP BibTeX RDF