|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1514 occurrences of 1125 keywords
|
|
|
|
|
Results
Found 1531 publication records. Showing 1531 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | QingShan Jia, QianChuan Zhao |
Strategy optimization for controlled Markov process with descriptive complexity constraint.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
strategy optimization, controlled Markov process, descriptive complexity |
| 3 | 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 |
| 3 | 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 |
| 3 | 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 |
| 3 | 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 |
| 3 | Tore Langholm |
A descriptive characterisation of linear languages.  |
Journal of Logic, Language and Information  |
2006 |
DBLP DOI BibTeX RDF |
Linear languages, Greibach normal form, Descriptive complexity |
| 3 | 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 |
| 3 | 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 |
| 3 | Junzo Watada |
Construction of consultation systems on descriptive knowledge.  |
Soft Comput.  |
2004 |
DBLP DOI BibTeX RDF |
Descriptive knowledge, Knowledge depth, Consultation system |
| 3 | 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 |
| 3 | Achim Blumensath |
Bounded Arithmetic and Descriptive Complexity.  |
CSL  |
2000 |
DBLP DOI BibTeX RDF |
arithmetic, descriptive complexity, definability |
| 3 | Thomas Verghese, Ying Zhou |
Domain translation using relational structure.  |
HICSS  |
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 |
| 2 | 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 |
| 2 | Geremy Heitz, Gal Elidan, Benjamin Packer, Daphne Koller |
Shape-Based Object Localization for Descriptive Classification.  |
International Journal of Computer Vision  |
2009 |
DBLP DOI BibTeX RDF |
Deformable shape models, Object recognition, Markov random fields, Probabilistic graphical models |
| 2 | Jiaqi Zhu, Yu Huang 0004, Hanpin Wang |
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Dominik D. Freydenberger, Daniel Reidenbach |
Existence and Nonexistence of Descriptive Patterns.  |
Developments in Language Theory  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Foutse Khomh, Yann-Gaël Guéhéneuc, Giuliano Antoniol |
Playing roles in design patterns: An empirical descriptive and analytic study.  |
ICSM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella |
Self-deceptive decision making: normative and descriptive insights.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
self-deception, wishful thinking, multi-agent systems, decision theory |
| 2 | Shiliang Zhang, Qi Tian, Gang Hua, Qingming Huang, Shipeng Li |
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 |
| 2 | 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 |
| 2 | 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 |
| 2 | Yuriy Shkvarko, Jose 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 |
| 2 | Panayiotis Koutsabasis, Modestos Stavrakis, Nikos Viorres, Jenny S. Darzentas, Thomas Spyrou, John Darzentas |
A descriptive reference framework for the personalisation of e-business applications.  |
Electronic Commerce Research  |
2008 |
DBLP DOI BibTeX RDF |
Clothing e-business, Framework, E-business, Case study, Personalisation |
| 2 | Dimos Loukas |
A descriptive-analytic approach to MCDA: the case of correspondence analysis.  |
Operational Research  |
2008 |
DBLP DOI BibTeX RDF |
Categorical criteria, Mcda, Correspondence analysis, Stochastic order |
| 2 | Marjan Lep, Sergej Tezak |
The Integrated Education of Transportation Engineers in Fields of Computer Graphics, Descriptive Geometry and Technical Drawings.  |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lijun Shan, Hong Zhu |
A Formal Descriptive Semantics of UML.  |
ICFEM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Markus Schedl, Tim Pohle |
Exploring Music Artists via Descriptive Terms and Multimedia Content.  |
SAMT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Anuj Dawar |
On the Descriptive Complexity of Linear Algebra.  |
WoLLIC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bestoun S. Ahmed, Khairulmizam Samsudin, Abdul Rahman Ramli, ShahNor Basri |
A Descriptive Performance Model of a Load Balancing Single System Image.  |
Asia International Conference on Modelling and Simulation  |
2008 |
DBLP DOI BibTeX RDF |
OpenMosix, MOSIX, performance, Single system image |
| 2 | Sheldon X. Liang, Lyle A. Reibling, John Betts |
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model.  |
SIGAda  |
2008 |
DBLP DOI BibTeX RDF |
interoperability, dependability, heterogeneity, architectural description |
| 2 | 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 |
| 2 | Martin Grohe |
Definable Tree Decompositions.  |
LICS  |
2008 |
DBLP DOI BibTeX RDF |
fixed point logic, descriptive complexity, tree decomposition |
| 2 | Martin Grohe |
The Quest for a Logic Capturing PTIME.  |
LICS  |
2008 |
DBLP DOI BibTeX RDF |
query languages, descriptive complexity, finite model theory |
| 2 | Yutaka Takahashi |
Improvement in the Translation Process from Natural Language to System Dynamics Models.  |
CIAO! / EOMAS  |
2008 |
DBLP DOI BibTeX RDF |
Descriptive information, simulation, natural language |
| 2 | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
Extensional Uniformity for Boolean Circuits.  |
CSL  |
2008 |
DBLP DOI BibTeX RDF |
descriptive complexity, uniformity, Boolean circuits |
| 2 | David G. Mitchell, Eugenia Ternovska |
Expressive power and abstraction in Essence.  |
Constraints  |
2008 |
DBLP DOI BibTeX RDF |
Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity |
| 2 | Jie Yu, Qi Tian, Ting Rui, Thomas S. Huang |
Integrating Discriminant and Descriptive Information for Dimension Reduction and Classification.  |
IEEE Trans. Circuits Syst. Video Techn.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | K. Bommanna Raja, M. Madheswaran, K. Thyagarajah |
Analysis of Ultrasound Kidney Images Using Content Descriptive Multiple Features for Disorder Identification and ANN Based Classification.  |
ICCTA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Lei Zhang, Yani Yan, Jianlin Wu |
Extending Enterprise Services Descriptive Metadata with Semantic Aspect Based on RDF.  |
CONFENIS  |
2007 |
DBLP DOI BibTeX RDF |
Component-oriented architecture, Enterprise information integration |
| 2 | Cara A. Stitzlein, Anja Wessels |
A descriptive screenshot analysis in a mixed presence setting.  |
OZCHI  |
2007 |
DBLP DOI BibTeX RDF |
groupware, video, distributed collaboration, synchronous collaboration, mixed presence |
| 2 | Dragan Gamberger, Nada Lavrac |
Supporting Factors in Descriptive Analysis of Brain Ischaemia.  |
AIME  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Jae-Yoon Jung, James A. Reggia |
Evolutionary Design of Neural Network Architectures Using a Descriptive Encoding Language.  |
IEEE Trans. Evolutionary Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Toshihiko Matsuka, Arieta Chouchourelou |
On the Learning Algorithms of Descriptive Models of High-Order Human Cognition.  |
ISNN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Kohei Honda, Martin Berger, Nobuko Yoshida |
Descriptive and Relative Completeness of Logics for Higher-Order Functions.  |
ICALP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Paulo Santos, Simon Colton, Derek R. Magee |
Predictive and Descriptive Approaches to Learning Game Rules from Vision Data.  |
IBERAMIA-SBIA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Yuichi Bannai, Masayuki Ishizawa, Hiroshi Shigeno, Ken-ichi Okada |
A Communication Model of Scents Mediated by Sense-Descriptive Adjectives.  |
ICAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Artur Wilk, Wlodzimierz Drabent |
A Prototype of a Descriptive Type System for Xcerpt.  |
PPSWR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Pavel Dmitriev, Carl Lagoze |
Automatically Constructing Descriptive Site Maps.  |
APWeb  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
|
| 2 | Ning Jiang, Simon Colton |
Boosting Descriptive ILP for Predictive Learning in Bioinformatics.  |
ILP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | J. Stephen Downie, Xiao Hu |
Review mining for music digital libraries: phase II.  |
JCDL  |
2006 |
DBLP DOI BibTeX RDF |
descriptive patterns, music reviews, frequent pattern mining |
| 2 | Hugo Manguinhas, José Luis Borbinha |
MANGAS infrastructure.  |
JCDL  |
2006 |
DBLP DOI BibTeX RDF |
UNIMARC, descriptive metadata, metadata validation, applications |
| 2 | Francisco José Berlanga, María José del Jesús, Pedro González, Francisco Herrera, Mikel Mesonero |
Multiobjective Evolutionary Induction of Subgroup Discovery Fuzzy Rules: A Case Study in Marketing.  |
Industrial Conference on Data Mining  |
2006 |
DBLP DOI BibTeX RDF |
descriptive induction, Data mining, subgroup discovery, genetic fuzzy systems, multiobjective evolutionary algorithms |
| 2 | Robert Goldblatt |
Maps and Monads for Modal Frames.  |
Studia Logica  |
2006 |
DBLP DOI BibTeX RDF |
modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad |
| 2 | Wolfgang Hesse |
More matters on (meta-)modelling: remarks on Thomas Kühne's "matters".  |
Software and System Modeling  |
2006 |
DBLP DOI BibTeX RDF |
Model and original, Prescriptive/descriptive model, Token model, Ontological/linguistic instantiation, Modelling, Transformation, Metamodel, Projection, Type model |
| 2 | Lisa Singh, Lise Getoor, Louis Licamele |
Pruning Social Networks Using Structural Properties and Descriptive Attributes.  |
ICDM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Igor B. Gurevich |
The Descriptive Approach to Image Analysis Current State and Prospects.  |
SCIA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Agnieszka Pieczynska-Kuchtiak |
Grounding a Descriptive Language in Cognitive Agents Using Consensus Methods.  |
International Conference on Computational Science  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Aurelia Profir, Emilian Gutuleac, Elena Boian |
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets.  |
SYNASC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk |
Descriptive Typing Rules for Xcerpt.  |
PPSWR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Norman H. Cohen, Paul Castro, Archan Misra |
Descriptive Naming of Context Data Providers.  |
CONTEXT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Hashem Tamimi, Alaa Halawani, Hans Burkhardt, Andreas Zell |
Using Descriptive Image Features for Global Localization of Mobile Robots.  |
AMS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Eduardo Saliby, Jaqueline T. M. Marins, Josete F. dos Santos |
Out-of-the-money monte carlo simulation option pricing: the joint use of importance sampling and descriptive sampling.  |
Winter Simulation Conference  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | José M. Castaño |
Global Index Grammars and Descriptive Power.  |
Journal of Logic, Language and Information  |
2004 |
DBLP DOI BibTeX RDF |
Indexed languages, mildly context sensitive languages, natural language |
| 2 | Yunyun Shen, Boyue Yao, Xiangyun Feng |
Descriptive Metadata Structure and Extended Rules: A Case Study on Ancient Atlases Metadata Standard.  |
ICADL  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Jae-Yoon Jung, James A. Reggia |
A Descriptive Encoding Language for Evolving Modular Neural Networks.  |
GECCO  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Yuseop Kim, Jung-Seok Oh, Jae Young Lee, Jeong Ho Chang |
An Intelligent Grading System for Descriptive Examination Papers Based on Probabilistic Latent Semantic Analysis.  |
Australian Conference on Artificial Intelligence  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Marco Botta, Jean-François Boulicaut, Cyrille Masson, Rosa Meo |
Query Languages Supporting Descriptive Rule Mining: A Comparative Study.  |
Database Support for Data Mining Applications  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Aleksander Sokolowski, Alicja Deren |
The Study of Hierarchy Importance of Descriptive Attributes in Computer Assisted Classification of Melanocytic Skin Lesions.  |
ICAISC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Alain Couchot |
Improving Web Searching Using Descriptive Graphs.  |
NLDB  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Xinming Tan, Yingxu Wang, 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 |
| 2 | David Richerby |
Logical Characterizations of PSPACE.  |
CSL  |
2004 |
DBLP DOI BibTeX RDF |
choice operators, partial fixed points, descriptive complexity, Finite model theory |
| 2 | 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 |
| 2 | Tore Langholm, Marc Bezem |
A Descriptive Characterisation of Even Linear Languages.  |
Grammars  |
2003 |
DBLP DOI BibTeX RDF |
even linear languages, descriptive complexity |
| 2 | Igor B. Gurevich, Vera Yashina |
Conditions of Generating Descriptive Image Algebras by a Set of Image Processing Operations.  |
CIARP  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | J. T. Yao |
Knowledge Based Descriptive Neural Networks.  |
RSFDGrC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Ingo Renners, Adolf Grauel |
Evolutionary System Identification via Descriptive Takagi Sugeno Fuzzy Systems.  |
IDA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
|
| 2 | José M. Castaño |
GIGs: Restricted Context-Sensitive Descriptive Power in Bounded Polynomial-Time.  |
CICLing  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Franz Baader |
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.  |
ICCS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Eric Nyberg, Teruko Mitamura, Kathryn L. Baker, David Svoboda, Brian Peterson, Jennifer Williams |
Deriving Semantic Knowledge from Descriptive Texts Using an MT System.  |
AMTA  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Ji-Eun Roh, Sin-Jae Kang, Jong-Hyeok Lee |
XExplainer: A Tool for Generating Descriptive Text from Database.  |
ICDCS Workshops  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Juan Eduardo Durán |
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.  |
MPC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel Fallman |
The penguin: using the web as a database for descriptive and dynamic grammar and spell checking.  |
CHI Extended Abstracts  |
2002 |
DBLP DOI BibTeX RDF |
grammar & spell checking, penguin, prototype, linguistics |
| 2 | 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.  |
Winter Simulation Conference  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Shamus P. Smith, Michael D. Harrison |
Improving Hazard Classification through the Reuse of Descriptive Arguments.  |
ICSR  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Shamus P. Smith, Michael D. Harrison |
Blending Descriptive and Numeric Analysis in Human Reliability Design.  |
DSV-IS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Yingxu Wang |
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 |
| 2 | Ulrike Becker-Kornstaedt |
Towards Systematic Knowledge Elicitation for Descriptive Software Process Modeling.  |
PROFES  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Stephen M. Mansour |
Houses, windows and DOHR's: (descriptive object of high rank).  |
APL  |
2000 |
DBLP DOI BibTeX RDF |
APL, HTML |
| 2 | 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 |
| 2 | Nikos Prekas, Pericles Loucopoulos |
Combining Strategy and Deliberation in the Requirements Engineering Process. (PDF / PS)  |
DEXA Workshops  |
2000 |
DBLP DOI BibTeX RDF |
prescriptive stance, descriptive stance, requirements engineering, process modelling, systems analysis, reasoning, systems development |
Displaying result #1 - #100 of 1531 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|