Search results for "Expressivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	James Cussens	Issues in Learning Language in Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Sergio Greco, Domenico Saccà	Search and Optimization Problems in Datalog.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Mira Balaban, Steffen Jurk	Intentions of Operations - Characterization and Preservation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
10	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
10	Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands	Models for coalition-based access control (CBAC).	SACMAT	2002	DBLP DOI BibTeX RDF	access control, authorizations, security policy, roles, tasks, domain models, teams, coalitions
10	Robert F. Tobler, Stefan Maierhofer, Alexander Wilkie	A Multiresolution Mesh Generation Approach for Procedural Definition of Complex Geometry.	Shape Modeling International	2002	DBLP DOI BibTeX RDF
10	Frithjof Dau	An Embedding of Existential Graphs into Concept Graphs with Negations.	ICCS	2002	DBLP DOI BibTeX RDF
10	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
10	Hans P. Zima	High Performance Fortran - History, Status and Future.	ISHPC	2002	DBLP DOI BibTeX RDF
10	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
10	Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker	Propositionalization for Clustering Symbolic Relational Descriptions.	ILP	2002	DBLP DOI BibTeX RDF
10	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	RTA	2002	DBLP DOI BibTeX RDF
10	Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill	Boolean Functions for Finite-Tree Dependencies.	LPAR	2001	DBLP DOI BibTeX RDF
10	Janette Frigo, Maya B. Gokhale, Dominique Lavenier	Evaluation of the streams-C C-to-FPGA compiler: an applications perspective.	FPGA	2001	DBLP DOI BibTeX RDF	FPGA design tools, FPGA, high-level synthesis, configurable computing, hardware-software co-design, silicon compiler
10	Gal A. Kaminka, David V. Pynadath, Milind Tambe	Monitoring deployed agent teams.	Agents	2001	DBLP DOI BibTeX RDF
10	Daniel Arfib, Loïc Kessous	Gestural Control of Sound Synthesis and Processing Algorithms.	Gesture Workshop	2001	DBLP DOI BibTeX RDF
10	Volker Haarslev, Ralf Möller 0001, Michael Wessel	The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Alexandre Delteil, Catherine Faron-Zucker, Rose Dieng	Extension of RDFS Based on the CGs Formalisms.	ICCS	2001	DBLP DOI BibTeX RDF
10	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
10	Richard Sharp, Alan Mycroft	Soft Scheduling for Hardware.	SAS	2001	DBLP DOI BibTeX RDF
10	Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella	Finite-Tree Analysis for Constraint Logic-Based Languages.	SAS	2001	DBLP DOI BibTeX RDF
10	Leonid Libkin	Expressive Power of SQL.	ICDT	2001	DBLP DOI BibTeX RDF
10	Alin Deutsch, Val Tannen	Optimization Properties for Classes of Conjunctive Regular Path Queries.	DBPL	2001	DBLP DOI BibTeX RDF
10	Stephan Diehl 0001, Jörg Keller 0003	VRML with constraints.	Web3D	2000	DBLP DOI BibTeX RDF	animation, VRML, programming
10	Giuliano Antoniol, Gerardo Casazza, Ettore Merlo	Identification of Lower-Level Artifacts.	IWPC	2000	DBLP DOI BibTeX RDF
10	Alberto Ciaffaglione, Pietro Di Gianantonio	A Tour with Constructive Real Numbers.	TYPES	2000	DBLP DOI BibTeX RDF
10	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Efficient Reasoning Using the Local Closed-World Assumption.	AIMSA	2000	DBLP DOI BibTeX RDF
10	Guus Schreiber, Monica Crubézy, Mark A. Musen	A Case Study in Using Protégé-2000 as a Tool for CommonKADS.	EKAW	2000	DBLP DOI BibTeX RDF
10	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
10	Thomas Mantay	A Least Common Subsumer Operation for an Expressive Description Logic.	IEA/AIE	2000	DBLP DOI BibTeX RDF
10	Ugo Montanari, Francesca Rossi 0001	Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	double categories, distributed systems, constraints, coordination, graph rewriting
10	Víctor Dalmau	Boolean Formulas are Hard to Learn for most Gate Bases.	ALT	1999	DBLP DOI BibTeX RDF
10	Ken Wakita, Takashi Asano 0002, Masataka Sassa	D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Alessandro Artale, Enrico Franconi	Introducing Temporal Description Logics.	TIME	1999	DBLP DOI BibTeX RDF
10	Shubha Chakravarty, Yuval Shahar	A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data.	TIME	1999	DBLP DOI BibTeX RDF	patterns, temporal databases, periodicity, constraint-based reasoning
10	Stephan Tobies	A NExpTime-Complete Description Logic Strictly Contained in C2.	CSL	1999	DBLP DOI BibTeX RDF
10	Carlos Areces, Patrick Blackburn, Maarten Marx	A Road-Map on Complexity for Hybrid Logics.	CSL	1999	DBLP DOI BibTeX RDF	Labeled Deduction, Computational Complexity, Description Logic, Modal and Temporal Logic
10	Maria Laura Cobo, Juan Carlos Augusto	EMTPL: A Programming Language for Temporal Deductive Data Bases.	SCCC	1999	DBLP DOI BibTeX RDF	Deductive Data Bases, Programming Languages, Metric Temporal Logic
10	Thomas Mantay	Computing Least Common Subsumers in Expressive Description Logics.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
10	Mike Delves, Hans P. Zima	High Performance Fortran: A Status Report or: Are We Ready to Give Up MPI?.	PVM/MPI	1998	DBLP DOI BibTeX RDF
10	Andrey R. Pimentel, Alexandre Ibrahim Direne	Cognitive Measures for Visual Concept Teaching with Intelligent Tutoring Systems.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
10	Mitch Cherniack, Stanley B. Zdonik	Changing the Rules: Transformations for Rule-Based Optimizers.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
10	Antonio Krüger	Automatic graphical abstraction in intent-based 3D-illustrations.	AVI	1998	DBLP DOI BibTeX RDF
10	Günter Karjoth	Authorization in CORBA Security.	ESORICS	1998	DBLP DOI BibTeX RDF	object access control, CORBA, authorization, distributed object systems
10	Premkumar T. Devanbu, Mark A. Jones	The Use of Description Logics in KBSE Systems.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	knowledge basis, testing, tools, logics, software development environments, automated software engineering
10	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	ICDT	1997	DBLP DOI BibTeX RDF
10	Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
10	Peter Van Roy, Michael Mehl, Ralf Scheidhauer	Integrating Efficient Records into Concurrent Constraint Programming.	PLILP	1996	DBLP DOI BibTeX RDF	Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
10	Olivier Michel	Introducing Dynamicity in the Data-Parallel Language 8½.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Faron Moller	Infinite Results.	CONCUR	1996	DBLP DOI BibTeX RDF
10	Giulio Balestreri	Term Rewriting Systems: An h-Categorical Semantic.	DISCO	1996	DBLP DOI BibTeX RDF
10	Jeffrey Ventrella	Disney meets Darwin-the evolution of funny animated figures.	CA	1995	DBLP DOI BibTeX RDF
10	Paola Inverardi, Marisa Venturini Zilli	Rational Rewriting.	MFCS	1994	DBLP DOI BibTeX RDF
10	Keith G. Jeffery, Liz Hutchinson, John Kalmus, Michael D. Wilson, Wernher Behrendt, Colin Macnee	A Model for Heterogeneous Distributed Database Systems.	BNCOD	1994	DBLP DOI BibTeX RDF
10	Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu	Towards a Unified Visual Database Access.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	QBE
10	Giuseppe Castagna	A Meta-Language for Typed Object-Oriented Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
10	David Janin	Some Results About Logical Descriptions of Non-Deterministic Behaviours.	FSTTCS	1993	DBLP DOI BibTeX RDF
10	Suresh Jagannathan, Gul Agha	A Reflective Model of Inheritance.	ECOOP	1992	DBLP DOI BibTeX RDF
10	Bernhard Beckert, Reiner Hähnle	An Improved Method for Adding Equality to Free Variable Semantic Tableaux.	CADE	1992	DBLP DOI BibTeX RDF
10	Stéphane Grumbach, Christophe Tollu	Query Languages with Counters.	ICDT	1992	DBLP DOI BibTeX RDF
10	Jacek Malec	Process Transition Networks: A Formal Graphical Knowledge Representation Tool.	ISMIS	1991	DBLP DOI BibTeX RDF
10	Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa	Non-standard Interpretations of LOTOS Specifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
10	Henri E. Bal	Languages for Parallel Programming.	PRISMA Workshop	1990	DBLP DOI BibTeX RDF
10	Patrick Doherty 0001	NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.	JELIA	1990	DBLP DOI BibTeX RDF
10	Eduard Diepstraten, Ruurd Kuiper 0001	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
10	Gul Agha	Foundational issues in concurrent computing.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF