|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAO! / EOMAS ![In: Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings, pp. 152-163, 2008, Springer, 978-3-540-68643-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 1993-2005, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
strategy optimization, controlled Markov process, descriptive complexity |
57 | Alain Couchot |
Improving Web Searching Using Descriptive Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004, Proceedings, pp. 276-287, 2004, Springer, 3-540-22564-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Megdouda Tari, Abdelnasser Dahmani |
Flowshop simulator using different sampling methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 5(2), pp. 261-272, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 75-84, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
image re-ranking, object recognition, bag-of-visual words |
48 | Thomas Verghese, Ying Zhou |
Domain translation using relational structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 927-932, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![DIMACS/AMS, 978-0-8218-0517-6 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | E. Allen Emerson |
Model Checking and the Mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 185-214, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Victor Vianu |
Databases and Finite-Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 97-148, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Toniann Pitassi |
Algebraic Propositional Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 215-244, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Howard Straubing |
Finite Models, Automata, and Circuit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 63-96, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Bruno Courcelle |
On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 33-62, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Ronald Fagin |
Easier Ways to Win Logical Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 1-32, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Moshe Y. Vardi |
Why is Modal Logic So Robustly Decidable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Descriptive Complexity and Finite Models ![In: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996, pp. 149-183, 1996, DIMACS/AMS, 978-0-8218-0517-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj |
On Irreducible Descriptive Sets of Attributes for Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 21-30, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 515-519, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 739-743, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 232-246, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 84(1), pp. 40-62, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, Cambridge, MA, USA, August 1-4, 2004, pp. 297-306, 2004, ACM, 1-58113-787-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 122-135, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Song Chun Zhu |
Statistical Modeling and Conceptualization of Visual Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(6), pp. 691-712, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 831-834, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 285-286, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Second International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2007, 19-21 September 2007, Perth, Western Australia, pp. 91-97, 2007, ACM, 978-1-59593-708-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 233-250, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 19-21, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Production of Learning Contents, Descriptive Markup Languages, Authoring Metaphor |
37 | Junzo Watada |
Construction of consultation systems on descriptive knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(10), pp. 676-680, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, San Jose, California, USA, May 14-16, 1975., pp. 92-98, 1975, ACM, 978-1-4503-7328-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDT Bull. ACM SIGFIDET SIGMOD ![In: FDT Bull. ACM SIGFIDET SIGMOD 1(1), pp. 31-36, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
35 | Dominik D. Freydenberger, Daniel Reidenbach |
Existence and Nonexistence of Descriptive Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings, pp. 228-239, 2009, Springer, 978-3-642-02736-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRV ![In: Third Canadian Conference on Computer and Robot Vision (CRV 2006), 7-9 June 2006, Quebec City, Canada, pp. 8, 2006, IEEE Computer Society, 0-7695-2542-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Norman H. Cohen, Paul C. Castro, Archan Misra |
Descriptive Naming of Context Data Providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings, pp. 112-125, 2005, Springer, 3-540-26924-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Tsau Young Lin |
Mining Un-interpreted Generalized Association Rules by Linear Inequalities: Descriptive/Deductive Data Mining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 204-212, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
granular data model, data mining, association rules, feature, attribute, bitmap indexes |
35 | Raymond A. Kliphardt |
DESCRIPTRAN: automated descriptive geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 6(6), pp. 336-339, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
31 | Rayner Alfred |
DARA: Data Summarisation with Feature Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 830-835, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 204-212, 2011, IEEE Computer Society, 978-1-4577-0869-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings, pp. 421-426, 2007, Springer, 978-3-540-73596-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(9), pp. 825-835, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 6(3), pp. 169-181, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
even linear languages, descriptive complexity |
30 | Hideo Joho, Mark Sanderson |
Retrieving Descriptive Phrases from Large Amounts of Free Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2000 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 6-11, 2000, pp. 180-186, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings, pp. 260-273, 2005, Springer, 3-540-29186-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Nada Lavrac, Peter A. Flach, Blaz Zupan |
Rule Evaluation Measures: A Unifying View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings, pp. 174-185, 1999, Springer, 3-540-66109-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Patrick E. O'Neil, Goetz Graefe |
Multi-Table Joins Through Bitmapped Join Indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(3), pp. 8-11, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella |
Self-deceptive decision making: normative and descriptive insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1113-1120, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 375-396, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(3), pp. 372-377, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Jae-Yoon Jung, James A. Reggia |
Evolutionary Design of Neural Network Architectures Using a Descriptive Encoding Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 10(6), pp. 676-688, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Toshihiko Matsuka, Arieta Chouchourelou |
On the Learning Algorithms of Descriptive Models of High-Order Human Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I, pp. 41-49, 2006, Springer, 3-540-34439-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Pavel A. Dmitriev, Carl Lagoze |
Automatically Constructing Descriptive Site Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings, pp. 201-212, 2006, Springer, 3-540-31142-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Igor B. Gurevich |
The Descriptive Approach to Image Analysis Current State and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 214-223, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Aurelia Profir, Emilian Gutuleac, Elena Boian |
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania, pp. 458-461, 2005, IEEE Computer Society, 0-7695-2453-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 64-78, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Ingo Renners, Adolf Grauel |
Evolutionary System Identification via Descriptive Takagi Sugeno Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis V, 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings, pp. 474-485, 2003, Springer, 3-540-40813-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1606-1610, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Shamus P. Smith, Michael D. Harrison |
Blending Descriptive and Numeric Analysis in Human Reliability Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002, pp. 223-237, 2002, Springer, 3-540-00266-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Ulrike Becker-Kornstaedt |
Towards Systematic Knowledge Elicitation for Descriptive Software Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001, Proceedings, pp. 312-325, 2001, Springer, 3-540-42571-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Klaus Meer |
Query Languages for Real Number Databases Based on Descriptive Complexity over R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 12-22, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Schönfeld, Werner Stephan |
Integration of Descriptive and Procedural Language Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings, pp. 344-356, 1988, Springer, 3-540-51659-X. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
26 | Cédric Bobenrieth, Frédéric Cordier, Arash Habibi, Hyewon Seo |
Descriptive: Interactive 3D Shape Modeling from A Single Descriptive Sketch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 128, pp. 102904, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Igor B. Gurevich, Vera Yashina |
Descriptive Image Analysis. Foundations and Descriptive Image Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 33(11), pp. 1940018:1-1940018:25, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
26 | Yiannis N. Moschovakis |
Classical descriptive set theory as a refinement of effective descriptive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 162(3), pp. 243-255, 2010. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
24 | Wenguang Wang, Andreas Tolk, Weiping Wang 0002 |
The levels of conceptual interoperability model: applying systems engineering principles to M&S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 971-978, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 1013-1020, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(3), pp. 343-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity |
24 | Martin Grohe |
Definable Tree Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 406-417, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fixed point logic, descriptive complexity, tree decomposition |
24 | Martin Grohe |
The Quest for a Logic Capturing PTIME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 267-271, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 64-78, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(4), pp. 387-394, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 309-331, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 196-197, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
descriptive patterns, music reviews, frequent pattern mining |
24 | Hugo Manguinhas, José Borbinha |
MANGAS infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 380, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Advances in Data Mining, Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings, pp. 337-349, 2006, Springer, 3-540-36036-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 32-41, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 54-63, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 338-349, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 370-384, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 322-336, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 352-366, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 322-333, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 949-953, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 326-334, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 121-129, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 118-126, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 61-68, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 252-261, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 131-140, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 8-, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(4), pp. 373-392, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 583-621, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 675-683, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings, pp. 112-126, 2008, Springer, 978-3-540-68154-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | William R. Penuel, Jeremy Roschelle, Louis Abrahamson |
Research on Classroom Networks for Whole-Class Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMTE ![In: Third IEEE International Workshop on Wireless and Mobile Technologies in Education, WMTE 2005, Tokushima, Japan, November 28-30, 2005, pp. 222-229, 2005, IEEE Computer Society, 0-7695-2385-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Noël Conruyt, David Grosser |
Managing Complex Knowledge in Natural Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning and Development, Third International Conference, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999, Proceedings, pp. 401-414, 1999, Springer, 3-540-66237-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
A Semantic Validation of Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings, pp. 80-93, 1998, Springer, 3-540-64791-0. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|