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