|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1752 occurrences of 1127 keywords
|
|
|
Results
Found 2532 publication records. Showing 2532 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen |
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. |
Quantitative Models: Expressiveness and Analysis |
2010 |
DBLP BibTeX RDF |
|
70 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen |
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. |
Quantitative Models: Expressiveness and Analysis |
2010 |
DBLP BibTeX RDF |
|
55 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen (eds.) |
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010 |
Quantitative Models: Expressiveness and Analysis |
2010 |
DBLP BibTeX RDF |
|
53 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
neighbourhood interval logics, decidability, expressiveness |
46 | Mohammad Shami, Werner Verhelst |
Automatic Classification of Expressiveness in Speech: A Multi-corpus Study. |
Speaker Classification (2) |
2007 |
DBLP DOI BibTeX RDF |
emotion, Affective computing, expressiveness, intent |
46 | James Joshi, Elisa Bertino, Arif Ghafoor |
An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Role-based access control, minimality, temporal constraint, expressiveness analysis |
46 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets |
42 | Elena Navarro 0001, Patricio Letelier 0001, Isidro Ramos |
Integrating Expressiveness of Modern Requirements Modeling Approaches. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Susanne Patig |
Measuring Expressiveness in Conceptual Modeling. |
CAiSE |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Henriette S. M. Cramer, Vanessa Evers, Tim van Slooten, Mattijs Ghijsen, Bob J. Wielinga |
Trying too hard: effects of mobile agents' (Inappropriate) social expressiveness on trust, affect and compliance. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
social expressiveness, trust, autonomy, mobile interaction |
40 | Kirsten Bergmann, Stefan Kopp |
Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
gesture, language, expressiveness, embodied conversational agents, multimodal output |
40 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of XML publishing transducers. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, data exchange, transducer, XML publishing |
40 | Marion G. Ceruti |
States of matter, information organization and dimensions of expressiveness. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
infodynamics, states of matter, database, knowledge base, expressiveness, model base |
40 | Alain Colmerauer, Thi-Bich-Hanh Dao |
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. |
Constraints An Int. J. |
2003 |
DBLP DOI BibTeX RDF |
complexity, constraints, trees, first order logic, expressiveness |
35 | Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens |
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization. |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Stephen Boyd 0001, Didar Zowghi, Alia Farroukh |
Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Stephen D. Brookes, Denis Dancanet |
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart |
On the expressiveness of probabilistic XML models. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases |
33 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
33 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of xml publishing transducers. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, XML publishing |
33 | Zhiguo Zhang, Yunfei Jiang |
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization |
33 | Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad |
Improving Musical Expressiveness by Time-Varying Brightness Shaping. |
CMMR |
2007 |
DBLP DOI BibTeX RDF |
analysis-synthesis, clarinet, Musical expressiveness, timbre |
33 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
33 | Martín Abadi, Joseph Y. Halpern |
Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds |
32 | Rossana Baptista Queiroz, Leandro Motta Barros, Soraia Raupp Musse |
Providing expressive gaze to virtual animated characters in interactive applications. |
Comput. Entertain. |
2008 |
DBLP DOI BibTeX RDF |
Eye animation, gaze behavior, facial animation, expressiveness, behavioral animation |
32 | Hubie Chen |
The expressive rate of constraints. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
dichotomy theorem, constraints, logic, expressiveness |
32 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
32 | Georg Gottlob, Christoph Koch 0001 |
Monadic datalog and the expressive power of languages for Web information extraction. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages |
32 | Joseph Y. Halpern, Riccardo Pucella |
On the relationship between strand spaces and multi-agent systems. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
multi-agent systems, Agents, security protocols, expressiveness, strand spaces |
32 | Annalisa Di Deo, Dmitri Boulanger |
A Formal Background to Build Constraint Objects. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables |
32 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
29 | Kirstin Peters, Nobuko Yoshida |
On the Expressiveness of Mixed Choice Sessions. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
A Note on the Expressiveness of BIP. |
EXPRESS/SOS |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Given-Wilson |
On the Expressiveness of Intensional Communication. |
EXPRESS/SOS |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Maciej Gazda, Tim A. C. Willemse |
Expressiveness and Completeness in Abstraction |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Rob J. van Glabbeek |
Musings on Encodings and Expressiveness |
EXPRESS/SOS |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Read Operators and their Expressiveness in Process Algebras |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg |
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) |
EXPRESS |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Rob J. van Glabbeek |
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). |
EXPRESS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. |
EXPRESS |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Pascal Zimmer |
On the Expressiveness of Pure Mobile Ambients. |
EXPRESS |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini |
On The Expressiveness of Timed Concurrent Constraint Programming. |
EXPRESS |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Antonio Brogi, Jean-Marie Jacquet |
On the Expressiveness of Linda-like Concurrent Languages. |
EXPRESS |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Massimo Merro |
On the Expressiveness of Chi, Update, and Fusion calculi. |
EXPRESS |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Yueh-Hung Lin, Chia-Yang Liu, Hung-Wei Lee, Shwu-Lih Huang, Tsai-Yen Li |
Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions. |
IVA |
2008 |
DBLP DOI BibTeX RDF |
|
28 | María Adela Grando, David Glasspool, John Fox 0001 |
Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
Clinical process modelling, care pathways, petri nets, workflow patterns |
28 | Simon Bliudze, Joseph Sifakis |
A Notion of Glue Expressiveness for Component-Based Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Norbert Braun, Thomas Rieger |
Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling. |
TIDSE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun |
Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Kritsachai Somsaman |
Emotional expressiveness in visual-sonic integration: a framework for multimedia design. |
CHI Extended Abstracts |
2003 |
DBLP DOI BibTeX RDF |
multimedia, emotion, perception, information design |
28 | Lucian Ilie, Arto Salomaa |
On the Expressiveness of Subset-Sum Representations. |
Acta Informatica |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Nadia Busi, Gianluigi Zavattaro |
On the Expressiveness of Event Notification in Data-Driven Coordination Languages. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf |
Achieving scalability and expressiveness in an Internet-scale event notification service. |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Picouet, Victor Vianu |
Expressiveness and Complexity of Active Databases. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Kris Gybels, Charlotte Herzeel, Theo D'Hondt |
Symbiosis in logic-based pointcuts over a history of join points. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
history-based pointcuts, linguistic symbiosis, logic-based pointcuts, aspect-oriented programming, multi-paradigm programming |
25 | Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Follmer |
The flote: an instrument for people with limited mobility. |
ASSETS |
2008 |
DBLP DOI BibTeX RDF |
limited mobility, expressiveness, musical instrument |
25 | Dan Olteanu |
Forward node-selecting queries over trees. |
ACM Trans. Database Syst. |
2007 |
DBLP DOI BibTeX RDF |
XML, streams, XPath, Expressiveness, rewriting |
25 | Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz |
Conjunctive queries over trees. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
XML, Complexity, trees, expressiveness, conjunctive queries, succinctness |
25 | Argimiro Arratia, Carlos E. Ortiz |
Counting Proportions of Sets: Expressive Power with Almost Order. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL |
25 | Frank Neven, Thomas Schwentick, Victor Vianu |
Finite state machines for strings over infinite alphabets. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers |
25 | Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe |
Expressive interfaces. |
Cogn. Technol. Work. |
2004 |
DBLP DOI BibTeX RDF |
Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture |
25 | Simone Tini |
Timed CCP compositionally embeds Argos and Lustre. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages |
25 | Wilfred Ng |
An extension of the relational data model to incorporate ordered domains. |
ACM Trans. Database Syst. |
2001 |
DBLP DOI BibTeX RDF |
Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem |
25 | Frits W. Vaandrager |
Expressive Results for Process Algebras. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence |
25 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management |
25 | Jeannette M. Wing, Mark R. Nixon |
Extending Ina Jo with Temporal Logic. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions |
21 | Prabhath Dushyantha Jayatilake, Keisuke Takahashi, Kenji Suzuki 0002 |
An assistive mask with biorobotic control to enhance facial expressiveness. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro |
On the Expressiveness of Forwarding in Higher-Order Communication. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Johan Redström |
Tangled interaction: On the expressiveness of tangible user interfaces. |
ACM Trans. Comput. Hum. Interact. |
2008 |
DBLP DOI BibTeX RDF |
interaction design, tangible user interfaces, Aesthetics, design theory |
21 | Peter Buneman, James Cheney, Stijn Vansummeren |
On the expressiveness of implicit provenance in query and update languages. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
nested relational calculus, nested update language, Provenance, conservativity |
21 | Luca Roversi, Luca Vercelli |
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity |
21 | João Sequeira 0001 |
Measuring Motion Expressiveness in Wheeled Mobile Robots. |
EUROS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Marc Boyer, Olivier H. Roux |
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt |
Performance Trees: Expressiveness and Quantitative Semantics. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Haoqiang Jin |
Towards Enhancing OpenMP Expressiveness and Performance. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex |
Expressiveness and complexity of XML Schema. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema |
21 | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor |
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Francisco Antunes, João Paulo Costa, Paulo Maçãs |
Managing Divergent Information: Enhancing Document Expressiveness. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Pavithra Prabhakar, Deepak D'Souza |
On the Expressiveness of MTL with Past Operators. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram |
Expressiveness and Performance of Full-Text Search Languages. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Giuliana Franceschinis |
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider |
Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jingtao Wang, John F. Canny |
FingerSense: augmenting expressiveness to physical pushing button by fingertip identification. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
mobile computing, performance modeling, input device, text input, fingerprint recognition |
21 | Diletta Cacciagrano, Flavio Corradini |
Expressiveness of Timed Events and Timed Languages. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Isabelle Linden, Jean-Marie Jacquet |
On the Expressiveness of Absolute-Time Coordination Languages. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Moritz Y. Becker, Peter Sewell |
Cassandra: Distributed Access Control Policies with Tunable Expressiveness. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Patrice Godefroid, Radha Jagadeesan |
On the Expressiveness of 3-Valued Models. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | James Bowen |
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
21 | John Howse, Fernando Molina, John Taylor 0001 |
On the Completeness and Expressiveness of Spider Diagram Systems. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
Diagrammatic reasoning, visual formalisms |
21 | Alain Colmerauer, Thi-Bich-Hanh Dao |
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Canazza, Giovanni De Poli, Antonio Rodà, Alvise Vidolin |
Adding Expressiveness to Musical Messages. |
ICMCS, Vol. 2 |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Nicola, Matthias Jarke |
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2532 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|