The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Descriptive with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1972 (15) 1973-1978 (19) 1979-1982 (19) 1983-1985 (18) 1986-1987 (18) 1988-1989 (33) 1990 (27) 1991-1992 (27) 1993 (18) 1994 (19) 1995 (26) 1996 (38) 1997 (24) 1998 (40) 1999 (55) 2000 (58) 2001 (72) 2002 (75) 2003 (99) 2004 (122) 2005 (128) 2006 (160) 2007 (156) 2008 (171) 2009 (124) 2010 (59) 2011 (49) 2012 (38) 2013 (38) 2014 (70) 2015 (55) 2016 (70) 2017 (82) 2018 (67) 2019 (86) 2020 (84) 2021 (89) 2022 (105) 2023 (118) 2024 (21)
Publication types (Num. hits)
article(845) book(9) incollection(24) inproceedings(1664) phdthesis(48) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(132) HICSS(31) CSL(23) LICS(18) CHI(17) JCDL(15) CVPR(13) STACS(13) J. Symb. Log.(12) SAC(12) AMIA(11) Int. J. Comput. Vis.(11) WSC(11) Ann. Pure Appl. Log.(10) ICALT(10) Scientometrics(10) More (+10 of total 1349)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1513 occurrences of 1125 keywords

Results
Found 2592 publication records. Showing 2592 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
60Yutaka Takahashi 0001 Improvement in the Translation Process from Natural Language to System Dynamics Models. Search on Bibsonomy CIAO! / EOMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Descriptive information, simulation, natural language
59Qing-Shan Jia, QianChuan Zhao Strategy optimization for controlled Markov process with descriptive complexity constraint. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strategy optimization, controlled Markov process, descriptive complexity
57Alain Couchot Improving Web Searching Using Descriptive Graphs. Search on Bibsonomy NLDB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Megdouda Tari, Abdelnasser Dahmani Flowshop simulator using different sampling methods. Search on Bibsonomy Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Simulation, Modelling, Production
49Shiliang Zhang, Qi Tian 0001, Gang Hua 0001, Qingming Huang, Shipeng Li 0001 Descriptive visual words and visual phrases for image applications. Search on Bibsonomy ACM Multimedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF image re-ranking, object recognition, bag-of-visual words
48Thomas Verghese, Ying Zhou Domain translation using relational structure. Search on Bibsonomy HICSS (4) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF domain description, domain translation, multiple effect system task, knowledge-based translation, constrained descriptive language, common descriptive language, translation procedures, language syntax, mathematical notion, decision support systems, expert systems, expert systems, translation, auditing, auditing, business data processing, formal logic, first order predicate logic, relational structure, organizational decision support system
48Neil Immerman, Phokion G. Kolaitis (eds.) Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996 Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48E. Allen Emerson Model Checking and the Mu-calculus. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Victor Vianu Databases and Finite-Model Theory. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Toniann Pitassi Algebraic Propositional Proof Systems. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Howard Straubing Finite Models, Automata, and Circuit Complexity. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Bruno Courcelle On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Ronald Fagin Easier Ways to Win Logical Games. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Moshe Y. Vardi Why is Modal Logic So Robustly Decidable? Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj On Irreducible Descriptive Sets of Attributes for Information Systems. Search on Bibsonomy RSCTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF maximal consistent extensions, irreducible descriptive sets, rough sets, information systems
45José Luis Sierra, Alfredo Fernández-Valmayor, Mercedes Guinea Exploiting Author-Designed Domain-Specific Descriptive Markup Languages in the Production of Learning Content. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Authoring Approach, Descriptive Markup Languages, Active Learning, Virtual Museums, Reusable Learning Objects
45Shamus P. Smith, Michael D. Harrison Augmenting descriptive scenario analysis for improvements in human reliability design. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF THEA, descriptive and numeric analysis, human reliability design, scenario based design, HEART
45Achim Blumensath Bounded Arithmetic and Descriptive Complexity. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF arithmetic, descriptive complexity, definability
42Geremy Heitz, Gal Elidan, Benjamin Packer, Daphne Koller Shape-Based Object Localization for Descriptive Classification. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deformable shape models, Object recognition, Markov random fields, Probabilistic graphical models
42Claus Bossen, Jens Bæk Jørgensen Context-descriptive prototypes and their application to medicine administration. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pervasive computing, user-centered design, prototyping
42Bianca Falcidieno, Caterina Pienovi, Michela Spagnuolo Descriptive Modeling and Prescriptive Modeling in Spatial Data Handling. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Song Chun Zhu Statistical Modeling and Conceptualization of Visual Patterns. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF descriptive models, causal Markov models, discriminative methods, minimax entropy learning, mixed Markov models, generative models, Perceptual organization
37Jun-peng Guo, Wen-hua Li, Feng Gao Descriptive statistics of non-uniform interval symbolic data. Search on Bibsonomy GEC Summit The full citation details ... 2009 DBLP  DOI  BibTeX  RDF descriptive statistics, interval, symbolic data analysis, non-uniform
37Jae-Yoon Jung, James A. Reggia Nested evolution of an autonomous agent using descriptive encoding. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF descriptive encoding, reinforcement learning, neuroevolution
37Andrew Chiou What is it thinking?: game AI opponent computer-human interaction using descriptive schema and explanatory capabilities. Search on Bibsonomy DIMEA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AI opponent, descriptive schema, explanatory capabilities, computer-human interaction, game AI
37Tore Langholm A descriptive characterisation of linear languages. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Linear languages, Greibach normal form, Descriptive complexity
37Pablo Moreno-Ger, Iván Martínez-Ortiz, José Luis Sierra, Baltasar Fernández-Manjón A Descriptive Markup Approach to Facilitate the Production of e-Learning Contents. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Production of Learning Contents, Descriptive Markup Languages, Authoring Metaphor
37Junzo Watada Construction of consultation systems on descriptive knowledge. Search on Bibsonomy Soft Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Descriptive knowledge, Knowledge depth, Consultation system
36James W. Welch, J. Wesley Graham Information Retrieval in Files Described Using Sets. Search on Bibsonomy SIGMOD Conference The full citation details ... 1975 DBLP  DOI  BibTeX  RDF multilist file, information retrieval, boolean functions, retrieval, attributes, inverted file, file organization, boolean queries
36Calvin N. Mooers Data Decriptive Languages. Search on Bibsonomy FDT Bull. ACM SIGFIDET SIGMOD The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
35Dominik D. Freydenberger, Daniel Reidenbach Existence and Nonexistence of Descriptive Patterns. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Langis Gagnon, France Laliberté, Marc Lalonde, Mario Beaulieu Toward an Application of Content-Based Video Indexing to Computer- Assisted Descriptive Video. Search on Bibsonomy CRV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Norman H. Cohen, Paul C. Castro, Archan Misra Descriptive Naming of Context Data Providers. Search on Bibsonomy CONTEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Tsau Young Lin Mining Un-interpreted Generalized Association Rules by Linear Inequalities: Descriptive/Deductive Data Mining Approach. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF granular data model, data mining, association rules, feature, attribute, bitmap indexes
35Raymond A. Kliphardt DESCRIPTRAN: automated descriptive geometry. Search on Bibsonomy Commun. ACM The full citation details ... 1963 DBLP  DOI  BibTeX  RDF
31Rayner Alfred DARA: Data Summarisation with Feature Construction. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Descriptive Induction Algorithm, Clustering, Feature Construction, Data summarisation
30Tim Pidun, Johannes Buder, Carsten Felden Optimizing Process Performance Visibility through Additional Descriptive Features in Performance Measurement. Search on Bibsonomy EDOCW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Non-numeric, Process Performance Management, Business Performance Measurement, Performance Measurement System, Performance Assessment Syste, Ontologies, Performance, Semantics, Metrics, Generic, Visibility, BPM, Goals, Indicator, Descriptive, KPI, Indirect
30Antonina Dattolo, Angelo Di Iorio, Silvia Duca, Antonio Angelo Feliziani, Fabio Vitali Structural Patterns for Descriptive Documents. Search on Bibsonomy ICWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF descriptive schemas, Patterns, completeness, grammars
30José Otero, Luciano Sánchez Induction of descriptive fuzzy classifiers with the Logitboost algorithm. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Descriptive fuzzy rules, Fuzzy adaboost, Fuzzy LogitBoost, Genetic fuzzy systems
30Tore Langholm, Marc Bezem A Descriptive Characterisation of Even Linear Languages. Search on Bibsonomy Grammars The full citation details ... 2003 DBLP  DOI  BibTeX  RDF even linear languages, descriptive complexity
30Hideo Joho, Mark Sanderson Retrieving Descriptive Phrases from Large Amounts of Free Text. Search on Bibsonomy CIKM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF descriptive phrase, large corpora, information retrieval
29Hyo-Jung Oh, Chung-Hee Lee, Hyeon-Jin Kim, Myung-Gil Jang Enhanced Question Answering with Combination of Pre-acquired Answers. Search on Bibsonomy AIRS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Nada Lavrac, Peter A. Flach, Blaz Zupan Rule Evaluation Measures: A Unifying View. Search on Bibsonomy ILP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Patrick E. O'Neil, Goetz Graefe Multi-Table Joins Through Bitmapped Join Indices. Search on Bibsonomy SIGMOD Rec. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella Self-deceptive decision making: normative and descriptive insights. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF self-deception, wishful thinking, multi-agent systems, decision theory
28Lijun Shan, Hong Zhu 0002 A Formal Descriptive Semantics of UML. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Jie Yu 0001, Qi Tian 0001, Ting Rui, Thomas S. Huang Integrating Discriminant and Descriptive Information for Dimension Reduction and Classification. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Jae-Yoon Jung, James A. Reggia Evolutionary Design of Neural Network Architectures Using a Descriptive Encoding Language. Search on Bibsonomy IEEE Trans. Evol. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Toshihiko Matsuka, Arieta Chouchourelou On the Learning Algorithms of Descriptive Models of High-Order Human Cognition. Search on Bibsonomy ISNN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Pavel A. Dmitriev, Carl Lagoze Automatically Constructing Descriptive Site Maps. Search on Bibsonomy APWeb The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Igor B. Gurevich The Descriptive Approach to Image Analysis Current State and Prospects. Search on Bibsonomy SCIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Aurelia Profir, Emilian Gutuleac, Elena Boian Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Franz Baader The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. Search on Bibsonomy KI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Ingo Renners, Adolf Grauel Evolutionary System Identification via Descriptive Takagi Sugeno Fuzzy Systems. Search on Bibsonomy IDA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Eduardo Saliby, Flavio Pacheco financial derivatives and real options: an empirical evaluation of sampling methods in risk analysis simulation: quasi-monte carlo, descriptive sampling, and Latin Hypercube sampling. Search on Bibsonomy WSC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Shamus P. Smith, Michael D. Harrison Blending Descriptive and Numeric Analysis in Human Reliability Design. Search on Bibsonomy DSV-IS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Ulrike Becker-Kornstaedt Towards Systematic Knowledge Elicitation for Descriptive Software Process Modeling. Search on Bibsonomy PROFES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Klaus Meer Query Languages for Real Number Databases Based on Descriptive Complexity over R. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Wolfgang Schönfeld, Werner Stephan Integration of Descriptive and Procedural Language Constructs. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
26Laureline Pinault From automata to cyclic proofs : equivalence algorithms and descriptive complexity. (Des automates aux preuves cycliques : algorithmes d'équivalence et complexité descriptive). Search on Bibsonomy 2021   RDF
26Cédric Bobenrieth, Frédéric Cordier, Arash Habibi, Hyewon Seo Descriptive: Interactive 3D Shape Modeling from A Single Descriptive Sketch. Search on Bibsonomy Comput. Aided Des. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Igor B. Gurevich, Vera Yashina Descriptive Image Analysis. Foundations and Descriptive Image Algebras. Search on Bibsonomy Int. J. Pattern Recognit. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Edouard Amouroux KIMONO, a descriptive agent-based modelling method for the exploration of complex systems: an application to epidemiology. (KIMONO: une méthode de modélisation descriptive centrée agent pour l'explication des systèmes complexes, une application en épidémiologie). Search on Bibsonomy 2011   RDF
26Yiannis N. Moschovakis Classical descriptive set theory as a refinement of effective descriptive set theory. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Yassine Hachaïchi Contributions à la théorie des modèles finis et à la complexité descriptive. (Contributions to finite model theory and descriptive complexity). Search on Bibsonomy 2001   RDF
26Rémy Foisel Modèle de réorganisation de systèmes multi-agents : une approche descriptive et opérationnelle. (Re-organization model of multi-agent system : a descriptive and operational approach). Search on Bibsonomy 1998   RDF
24Wenguang Wang, Andreas Tolk, Weiping Wang 0002 The levels of conceptual interoperability model: applying systems engineering principles to M&S. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF descriptive role, levels of conceptual interoperability model (LCIM), prescriptive role, systems engineering
24Jae-Yoon Jung, James A. Reggia Evolving an autonomous agent for non-Markovian reinforcement learning. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF descriptive encoding, genetic programming, reinforcement learning, evolution strategy
24Yuriy Shkvarko, José Tuxpan, Stewart Santos Unified Experiment Design, Bayesian Minimum Risk and Convex Projection Regularization Method for Enhanced Remote Sensing Imaging. Search on Bibsonomy CIARP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF descriptive regularization, multi-sensor imaging, remote sensing, experiment design, Convex sets
24David G. Mitchell, Eugenia Ternovska Expressive power and abstraction in Essence. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
24Martin Grohe Definable Tree Decompositions. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixed point logic, descriptive complexity, tree decomposition
24Martin Grohe The Quest for a Logic Capturing PTIME. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF query languages, descriptive complexity, finite model theory
24Pierre McKenzie, Michael Thomas 0001, Heribert Vollmer Extensional Uniformity for Boolean Circuits. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF descriptive complexity, uniformity, Boolean circuits
24Wolfgang Hesse More matters on (meta-)modelling: remarks on Thomas Kühne's "matters". Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model and original, Prescriptive/descriptive model, Token model, Ontological/linguistic instantiation, Modelling, Transformation, Metamodel, Projection, Type model
24Robert Goldblatt Maps and Monads for Modal Frames. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
24J. Stephen Downie, Xiao Hu 0001 Review mining for music digital libraries: phase II. Search on Bibsonomy JCDL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF descriptive patterns, music reviews, frequent pattern mining
24Hugo Manguinhas, José Borbinha MANGAS infrastructure. Search on Bibsonomy JCDL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UNIMARC, descriptive metadata, metadata validation, applications
24Francisco José Berlanga, María José del Jesus, Pedro González 0001, Francisco Herrera, Mikel Mesonero Multiobjective Evolutionary Induction of Subgroup Discovery Fuzzy Rules: A Case Study in Marketing. Search on Bibsonomy ICDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF descriptive induction, Data mining, subgroup discovery, genetic fuzzy systems, multiobjective evolutionary algorithms
24Muriel Foulonneau, Timothy W. Cole, Thomas G. Habing, Sarah L. Shreeves Using collection descriptions to enhance an aggregation of harvested item-level metadata. Search on Bibsonomy JCDL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF collection-level description, descriptive metadata, metadata aggregation, open archives initiative
24Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah Specification of the RTPA Grammar and Its Recognition. Search on Bibsonomy IEEE ICCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
24Régis Barbanchon, Etienne Grandjean The Minimal Logically-Defined NP-Complete Problem. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Computational complexity, NP-completeness, descriptive complexity, finite model theory, parsimony, second-order logic
24David Richerby Logical Characterizations of PSPACE. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF choice operators, partial fixed points, descriptive complexity, Finite model theory
24Yingxu Wang 0001 Real-Time Process Algebra and Its Applications. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
24Dietmar Berwanger, Erich Grädel, Giacomo Lenzi On the Variable Hierarchy of the Modal µ-Calculus. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF modal &#55-calculus, games, descriptive complexity
24Martin Fürer Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Graph Isomorphism Testing, Weisfeiler-Lehman Refinement, Games, Descriptive Complexity
24Nikos Prekas, Pericles Loucopoulos Combining Strategy and Deliberation in the Requirements Engineering Process. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF prescriptive stance, descriptive stance, requirements engineering, process modelling, systems analysis, reasoning, systems development
24Matthias Ruhl Counting and Addition Cannot Express Deterministic Transitive Closure. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
24Andrew E. Johnson 0002, Martial Hebert Surface Registration by Matching Oriented Points. Search on Bibsonomy 3DIM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF 3D free-form surface registration, oriented point matching, view transformation, descriptive images, object surface, single point bases, data level shape descriptions, multiple sensing, image registration, image representation, image correlation, iterative closest point algorithm
24Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF leaf languages, quantifier-free reductions, computational complexity, descriptive complexity, succinct representation
24Alberto Del Bimbo, Luigi Rella, Enrico Vicario Visual Specification of Branching Time Temporal Logic. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
24Gregory E. Kersten Simulation and analysis of negotiation processes: the case of Softwood Lumber Negotiations. Search on Bibsonomy HICSS (4) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF wood processing, negotiation process analysis, Softwood Lumber Negotiations, cognitive negotiation support, restructurable modeling approach, cognitive support systems, quantitative representations, computer implementation, Negoplan system, prescriptive methods, descriptive models, negotiation process simulation, groupware, decision support systems, decision making, stability analysis, group decision support systems, negotiation support systems, qualitative representations
24Lisa D. Murphy Geographic information systems: are they decision support systems? Search on Bibsonomy HICSS (4) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF descriptive data, mainstream business applications, spatially dependent decisions, temporally dependent decisions, DSS components model, model management component, geographic information systems, geographic information systems, decision support systems, decision support systems, spatial data, spatial data structures, decision aiding
24Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst Working group report on process [production process workflow in cooperative virtual enterprises]. Search on Bibsonomy WETICE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF production engineering computing, production process workflow, cooperative virtual enterprises, large software houses, concurrent engineering methods, industrial products, descriptive notations, distributed object databases, hypertext browsers, Petri nets, tools, process modeling, software development management, concurrent engineering, process design
24Andrea Califano, Rakesh Mohan Multidimensional Indexing for Recognizing Visual Shapes. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF visual shapes recognition, limited index selectivity, look-up table buckets, high-dimensional highly descriptive global invariants, 2-D shape acquisition/recognition system, local curve descriptors, image contour information, computer vision, image sequences, image recognition, table lookup, multidimensional indexing
24Wolfgang Thomas, Helmut Lescow Logical Specifications of Infinite Computations. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games
24Abbe Mowshowitz Computers and ethical judgment in organizations. Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Bureaucratic rationalism, Descriptive ethics, Ethical judgment, Individual autonomy, Information systems, Ethics, Organizational change, Social control
22Ivan Heckman, J. Christopher Beck Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22William R. Penuel, Jeremy Roschelle, Louis Abrahamson Research on Classroom Networks for Whole-Class Activities. Search on Bibsonomy WMTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Noël Conruyt, David Grosser Managing Complex Knowledge in Natural Sciences. Search on Bibsonomy ICCBR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau A Semantic Validation of Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2592 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license