Search results for "expressive power"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo	On the expressive power of priorities in CHR.	PPDP	2009	DBLP DOI BibTeX RDF	constraint, expressive power
3	David G. Mitchell, Eugenia Ternovska	Expressive power and abstraction in Essence.	Constraints	2008	DBLP DOI BibTeX RDF	Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
3	Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri	On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.	SAC	2004	DBLP DOI BibTeX RDF	deductive and logic databases, expressive power of query languages, search and optimization queries, datalog
3	Mahesh V. Tripunitara, Ninghui Li	Comparing the expressive power of access control models.	ACM Conference on Computer and Communications Security	2004	DBLP DOI BibTeX RDF	augmented typed access matrix, state-matching reduction, typed access matrix, role-based access control, reduction, expressive power, discretionary access control
3	Evgeny Dantsin, Andrei Voronkov	Expressive Power and Data Complexity of Query Languages for Trees and Lists.	PODS	2000	DBLP DOI BibTeX RDF	trees, expressive power, lists, data complexity, term algebras
3	Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong	Relational Expressive Power of Constraint Query Languages.	J. ACM	1998	DBLP DOI BibTeX RDF	constraint query language, database, constraints, expressive power, relational calculus
3	Peter Schäuble, Beat Wüthrich	On the Expressive Power of Query Languages.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
3	Ravi S. Sandhu, Srinivas Ganta	On the Expressive Power of the Unary Transformation Model.	ESORICS	1994	DBLP DOI BibTeX RDF	Access Control, Authorization, Expressive Power, Client-Server Architecture, Access Rights
2	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
2	Cosimo Laneve, Antonio Vitale	The Expressive Power of Synchronizations.	LICS	2010	DBLP DOI BibTeX RDF	dining philosophers problem, synchronizations, hypercube, Expressive power, process calculi
2	George H. L. Fletcher, Marc Gyssens, Jan Paredaens, Dirk Van Gucht	On the Expressive Power of the Relational Algebra on Finite Sets of Relation Pairs.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
2	Stanislav Zivny, David A. Cohen, Peter G. Jeavons	The Expressive Power of Binary Submodular Functions.	MFCS	2009	DBLP DOI BibTeX RDF	Decomposition of submodular functions, Pseudo-Boolean optimisation, Submodular function minimisation, Min-Cut
2	Jesús Aranda, Frank D. Valencia, Cristian Versari	On the Expressive Power of Restriction and Priorities in CCS with Replication.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Uffe Flarup, Laurent Lyaudet	On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract).	CSR	2008	DBLP DOI BibTeX RDF
2	Pascal Koiran, Klaus Meer	On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width.	WG	2008	DBLP DOI BibTeX RDF
2	Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera	Expressive Power and Decidability for Memory Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
2	Mario Bravetti, Gianluigi Zavattaro	On the Expressive Power of Process Interruption and Compensation.	WS-FM	2008	DBLP DOI BibTeX RDF
2	Claudia González, Leonid Tineo, José Galindo	Fuzzy Database Languages Integration Using Expressive Power.	FSKD	2008	DBLP DOI BibTeX RDF
2	David Harel, Shahar Maoz, Itai Segall	Some Results on the Expressive Power and Complexity of LSCs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
2	Renzo Angles, Claudio Gutierrez	The Expressive Power of SPARQL.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
2	Cristian Versari, Nadia Busi, Roberto Gorrieri	On the Expressive Power of Global and Local Priority in Process Calculi.	CONCUR	2007	DBLP DOI BibTeX RDF
2	Zhilin Wu	On the Expressive Power of QLTL.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Uffe Flarup, Pascal Koiran, Laurent Lyaudet	On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices.	ISAAC	2007	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness
2	Fuxiang Yu	On the Representations of NC and Log-Space Real Numbers.	COCOON	2007	DBLP DOI BibTeX RDF	representations of real numbers, Cauchy function, left cut, P, Log-space, Complexity, expressive power, NC
2	Toon Calders, Laks V. S. Lakshmanan, Raymond T. Ng, Jan Paredaens	Expressive power of an algebra for data mining.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	data mining, Algebra, expressive power
2	Gabriel G. Infante López, Maarten de Rijke	A Note on the Expressive Power of Probabilistic Context Free Grammars.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF
2	Étienne Ailloud, Arnaud Durand	The Expressive Power of Bijections over Weakly Arithmetized Structures.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
2	Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin	Expressive Power of Pebble Automata.	ICALP	2006	DBLP DOI BibTeX RDF
2	Francisca Losavio, Dinarle Ortega, María A. Pérez, Martha González	Experimenting with the Expressive Power of an Enterprise Architecture Framework.	TEAA	2006	DBLP DOI BibTeX RDF	enterprise architecture integration, integration view, enterprise architecture, integration model
2	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
2	Jan Hidders, Jan Paredaens, Roel Vercammen	On the Expressive Power of XQuery-Based Update Languages.	XSym	2006	DBLP DOI BibTeX RDF
2	Daniele Gorla	On the Relative Expressive Power of Asynchronous Communication Primitives.	FoSSaCS	2006	DBLP DOI BibTeX RDF
2	Allan Third	The Expressive Power of Restricted Fragments of English.	LACL	2005	DBLP DOI BibTeX RDF
2	Wolfgang Reisig	On the Expressive Power of Petri Net Schemata.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Nicole Bidoit, Matthieu Objois	Temporal Query Languages Expressive Power: µTL versus T-WHILE.	TIME	2005	DBLP DOI BibTeX RDF
2	Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara	Schema update operations preserving the expressive power in XML databases.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
2	Martin Grohe, Stephan Kreutzer, Nicole Schweikardt	The Expressive Power of Two-Variable Least Fixed-Point Logics.	MFCS	2005	DBLP DOI BibTeX RDF
2	Magali Duboisset, Francois Pinet, Myoung-Ah Kang, Michel Schneider	Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles.	ER	2005	DBLP DOI BibTeX RDF
2	Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen	On the Expressive Power of XQuery Fragments.	DBPL	2005	DBLP DOI BibTeX RDF
2	Antje Nowack	A Guarded Fragment for Abstract State Machines.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
2	Andrew Borg, Andy J. Wellings	Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model.	OTM Workshops	2004	DBLP DOI BibTeX RDF
2	Nicole Schweikardt	On the Expressive Power of Monadic Least Fixed Point Logic.	ICALP	2004	DBLP DOI BibTeX RDF
2	Argimiro Arratia, Carlos E. Ortiz	Approximating the Expressive Power of Logics in Finite Models.	LATIN	2004	DBLP DOI BibTeX RDF
2	Gabriel G. Infante López, Maarten de Rijke	Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers.	EsTAL	2004	DBLP DOI BibTeX RDF
2	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary fixed points in modal logic.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Fixed-point logics, complexity, modal logic, decidability, expressive power
2	Tim A. C. Willemse	Embeddings of Hybrid Automata in Process Algebra.	IFM	2004	DBLP DOI BibTeX RDF	CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata
2	Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros	Workflow Patterns.	Distributed and Parallel Databases	2003	DBLP DOI BibTeX RDF	suitability, workflow, pattern, control flow, expressive power
2	Dietmar Berwanger	Game Logic is Strong Enough for Parity Games.	Studia Logica	2003	DBLP DOI BibTeX RDF	game logic, modal mu-calculus, model checking, expressive power
2	Alexander Moshe Rabinovich	Expressive Power of Temporal Logics.	CONCUR	2002	DBLP DOI BibTeX RDF
2	Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	On the Expressive Power of Data Integration Systems.	ER	2002	DBLP DOI BibTeX RDF
2	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
2	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and expressive power of logic programming.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
2	Leonid Libkin	Expressive Power of SQL.	ICDT	2001	DBLP DOI BibTeX RDF
2	Marco Cadoli	The Expressive Power of Binary Linear Programming.	CP	2001	DBLP DOI BibTeX RDF
2	Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong	Logics with aggregate operators.	J. ACM	2001	DBLP DOI BibTeX RDF	database, locality, Aggregation, expressive power, relational calculus
2	Karl R. P. H. Leung, Wai Wong	Deriving test cases using class vectors.	APSEC	2000	DBLP DOI BibTeX RDF	software test case derivation, class vectors, human decision-making, vector partitions, formal specification, formal specifications, program testing, pattern classification, vectors, trees (mathematics), tree structure, expressive power, classification trees, Cartesian product
2	Miguel Antunes, António Rito Silva	Using Separation and Composition of Concerns to Build Multiuser Virtual Environments. (PDF / PS)	CRIWG	2000	DBLP DOI BibTeX RDF	composition of concerns, multiuser virtual environments, engineering domain aspects, graphics capabilities, processing power, MUVE systems, continuous technology, software engineering separation of concerns approach, future system evolution, concerns composition, distributed systems, virtual reality, groupware, cooperative work, expressive power, network bandwidth, requirements evolution, MUVE, complex task
2	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
2	Luis Mandel, María Victoria Cengarle	On the Expressive Power of OCL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Tomi Janhunen	Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.	LPNMR	1999	DBLP DOI BibTeX RDF
2	Faron Moller, Alexander Moshe Rabinovich	On the Expressive Power of CTL.	LICS	1999	DBLP DOI BibTeX RDF
2	Bernhard Nebel	Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.	KI	1999	DBLP DOI BibTeX RDF
2	Nicole Bidoit, Sandra de Amo	Implicit Temporal Query Languages: Towards Completeness.	FSTTCS	1999	DBLP DOI BibTeX RDF	Temporal logic, Query languages, Communication protocol, Temporal database, Expressive power
2	Francesco Buccafurri, Sergio Greco, Domenico Saccà	The Expressive Power of Unique Total Stable Model Semantics.	ICALP	1997	DBLP DOI BibTeX RDF
2	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	ICDT	1997	DBLP DOI BibTeX RDF
2	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and Expressive Power of Logic Programming. (PDF / PS)	IEEE Conference on Computational Complexity	1997	DBLP DOI BibTeX RDF	computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
2	Anil Seth	Sharper Results on the Expressive Power of Generalized Quantifiers.	FSTTCS	1997	DBLP DOI BibTeX RDF
2	Massimo Marchiori	On the Expressive Power of Rewriting.	FSTTCS	1997	DBLP DOI BibTeX RDF
2	Yossi Cohen, Yishai A. Feldman	Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	automatic high-quality reengineering, legacy database programs, legacy software conversion, database access operations, target database query language, network data traffic, relational databases, indexes, query optimization, filtering, joins, readability, expressive power, aggregative operations, temporal abstraction, relational database model, MIDAS
2	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
2	Jean-Eric Pin	The Expressive Power of Existential First Order Sentences of Büchi's Sequential Calculus.	ICALP	1996	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi	The Expressive Power of Clocks.	ICALP	1995	DBLP DOI BibTeX RDF
2	Ashvin Dsouza, Bard Bloom	On the Expressive Power of CCS.	FSTTCS	1995	DBLP DOI BibTeX RDF
2	Jiangling Wan, Michael P. Bieber, Jason Tsong-Li Wang, Peter A. Ng	LHM: a logic-based hypertext data model for integrating hypertext and information systems.	HICSS	1995	DBLP DOI BibTeX RDF	LHM, logic-based hypertext data model, common language, independent information domains, logical bridge laws, application elements, data structures, information systems, hypermedia, document management, formal logic, expressive power, application domains, document handling, logic modeling, composite objects, high level descriptions
2	Fabrizio Capobianco, Mauro Mosconi, Lorenzo Pagnin	Progressive HTTP-based Querying of Remote Databases within the Marmotta Iconic VQS. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	progressive HTTP-based querying, remote databases, Marmotta iconic VQS, software layer, retrieval requests, direct manipulation style, form-based interfaces, query result manipulation, query result reuse, nonmotonic progressive query processes, Internet, WWW, query processing, graphical user interfaces, distributed databases, browsing, visual languages, client-server systems, icons, graphical interface, expressive power, online front-ends
2	David G. Hendry	Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	display-based problems, design remedy, discretionary user, grid partitioning, arithmetic series, block function, progressional computation, tabular displays, cell referencing, usability, user interfaces, human factors, human factors, visual programming, visual programming, problem solving, functions, programming by demonstration, failure, spreadsheets, interaction style, expressive power, computer displays, spreadsheet programs, critical incident, series (mathematics), cognitive dimensions
2	Jürgen Landauer, Masahito Hirakawa	Visual AWK: A Model for Text Processing by Demonstration. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	Visual AWK, control structure inference, user-intended generalization, vertical demonstration, pattern-action paradigm, spreadsheet metaphor, usability, feedback, visual programming, visual languages, inference mechanisms, programming-by-demonstration, program visualization, generalisation (artificial intelligence), expressive power, text processing, word processing, visual feedback, visual programming language, spreadsheet programs
2	Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson	An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.	ICALP	1994	DBLP DOI BibTeX RDF
2	Thomas Eiter, Georg Gottlob, Heikki Mannila	Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics.	IS/KI	1994	DBLP DOI BibTeX RDF
2	Yiannis E. Papelis, Thomas L. Casavant	Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power
2	Kim Guldstrand Larsen	The Expressive Power of Implicit Specifications.	ICALP	1991	DBLP DOI BibTeX RDF
2	Erich Grädel	The Expressive Power of Second Order Horn Logic.	STACS	1991	DBLP DOI BibTeX RDF
2	Yaniv Bargury, Johann A. Makowsky	The Expressive Power of Transitive Closue and 2-way Multihead Automata.	CSL	1991	DBLP DOI BibTeX RDF
2	Yeh-Heng Sheng	IDLOG: Extending the Expressive Power of Deductive Database Languages.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
2	Phokion G. Kolaitis, Moshe Y. Vardi	On the Expressive Power of Datalog: Tools and a Case Study.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
2	Matthias Felleisen	On the Expressive Power of Programming Languages.	ESOP	1990	DBLP DOI BibTeX RDF
2	Joachim Parrow	The Expressive Power of Simple Parallelism.	PARLE	1989	DBLP DOI BibTeX RDF
2	Richard Hull, Jianwen Su	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract).	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
2	Richard Hull, Jianwen Su	On the Expressive Power of Database Queries with Intermediate Types.	PODS	1988	DBLP DOI BibTeX RDF
2	Eric C. Cooper	On the Expressive Power of Query Languages for Relational Databases.	POPL	1982	DBLP DOI BibTeX RDF
2	Johann A. Makowsky	Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory.	ICALP	1980	DBLP DOI BibTeX RDF
1	Alexander Okhotin, Oksana Yakimova	Language equations with complementation: Expressive power.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Alexander Okhotin, Panos Rondogiannis	On the expressive power of univariate equations over sets of natural numbers.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
1	Marc Bezem, Clemens Grabmayer, Michal Walicki	Expressive power of digraph solvability.	Ann. Pure Appl. Logic	2012	DBLP DOI BibTeX RDF
1	Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo	On the Expressive Power of Multiple Heads in CHR.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
1	Alexander Okhotin	Expressive power of LL(k) Boolean grammars.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Gilles Dowek, Ying Jiang	On the expressive power of schemes.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	A classification of the expressive power of well-structured transition systems.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Alfredo Cuzzocrea, Andrea Nucita	Enhancing accuracy and expressive power of range query answers over incomplete spatial databases via a novel reasoning approach.	Data Knowl. Eng.	2011	DBLP DOI BibTeX RDF