Search results for "Determinate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Carles Pairot, Pedro García López, Antonio Fernandez Gómez-Skarmeta	DERMI: A Decentralized Peer-to-Peer Event-Based Object Middleware.	ICDCS	2004	DBLP DOI BibTeX RDF
14	Alejandro Pauly, Markus Schneider 0001	Vague Spatial Data Types, Set Operations, and Predicates.	ADBIS	2004	DBLP DOI BibTeX RDF
14	Lourdes Peña Castillo, Stefan Wrobel	A comparative study on methods for reducing myopia of hill-climbing search in multirelational learning.	ICML	2004	DBLP DOI BibTeX RDF
14	José San Pedro, Nicolas Denis, Sergio Domínguez	On the Automatic Creation of Customized Video Content.	ICIAR (1)	2004	DBLP DOI BibTeX RDF
14	Marcelo Andrade Teixeira, Gerson Zaverucha	A Partitioning Method for Fuzzy Probabilistic Predictors.	ICONIP	2004	DBLP DOI BibTeX RDF
14	Marc M. Triola, Robert S. Holzman	Agent-Based Simulation of Nosocomial Transmission in the Medical Intensive Care Unit.	CBMS	2003	DBLP DOI BibTeX RDF
14	Thomas M. Parks, David Roberts	Distributed Process Networks in Java.	IPDPS	2003	DBLP DOI BibTeX RDF
14	Malgorzata Langer, Zbigniew Lisik, Ewa Raj, Nam Kyun Kim, Jan Szmidt	Simulations for Thermal Analysis of MOSFET IPM Using IMS Substrate.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
14	Rong Yang, Steve Gregory	Exploiting Efficient Control and Data Structures in Logic Programs.	PADL	2002	DBLP DOI BibTeX RDF	logic programming, constraints satisfaction, sequence comparison
14	Iván V. Meza, Luis Alberto Pineda	The Spanish Auxiliary Verb System in HPSG.	CICLing	2002	DBLP DOI BibTeX RDF
14	José Ignacio Estévez Damas, Silvia Alayón, Lorenzo Moreno Ruiz, Rosa María Aguilar, José F. Sigut	Cytological Breast Fine Needle Aspirate Images Analysis with a Genetic Fuzzy Finite State Machine.	CBMS	2002	DBLP DOI BibTeX RDF
14	Hai Jin 0001, Jianhua Sun 0002, Hao Chen 0002, Zongfen Han	A Risk-Sensitive Intrusion Detection Model.	ICISC	2002	DBLP DOI BibTeX RDF
14	Jörg-Uwe Kietz	Learnability of Description Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF
14	Isabelle Bournaud, Mélanie Courtine, Jean-Daniel Zucker	Propositionalization for Clustering Symbolic Relational Descriptions.	ILP	2002	DBLP DOI BibTeX RDF
14	Mark-A. Krogel, Stefan Wrobel	Transformation-Based Learning Using Multirelational Aggregation.	ILP	2001	DBLP DOI BibTeX RDF
14	Thomas Barkowsky	Mental Processing of Geographic Knowledge.	COSIT	2001	DBLP DOI BibTeX RDF	spatial knowledge construction, mental imagery, experimental computational modeling, Cognitive maps, diagrammatic reasoning
14	Chengqing Zong, Taiyi Huang 0001, Bo Xu 0002	Approach to Recognition and Understanding of the Time Constituents in the Spoken Chinese Language Translation.	ICMI	2000	DBLP DOI BibTeX RDF
14	Markus Schneider 0001	Metric operations on fuzzy spatial objects in databases.	ACM-GIS	2000	DBLP DOI BibTeX RDF	fuzzy line, fuzzy region, fuzzy spatial data type, fuzzy-valued metric operation, real-valued metric operation, fuzzy sets
14	Vítor Santos Costa, Ashwin Srinivasan 0001, Rui Camacho	A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.	ILP	2000	DBLP DOI BibTeX RDF
14	Andrés Molina	A Vector Approach to the Analysis of (Patterns with) Spatial Dependence.	SSPR/SPR	2000	DBLP DOI BibTeX RDF	directional trend, circular statistics, anisotropy, spatial dependence
14	Norman F. Schneidewind	Measuring and Evaluating Maintenance Process Using Reliability, Risk, and Test Metrics.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Maintenance process stability, product and process integration, reliability risk
14	Cristinel Mateis	Extending Disjunctive Logic Programming by T-norms.	LPNMR	1999	DBLP DOI BibTeX RDF
14	Eric Clavier, Stéphane Clavier, Jacques Labiche	Image Sorting - Image Classification: A Global Approach.	ICDAR	1999	DBLP DOI BibTeX RDF
14	Edward A. Lee, Alberto L. Sangiovanni-Vincentelli	A framework for comparing models of computation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
14	Ruth M. J. Byrne	Spatial Mental Models in Counterfactual Thinking About What Might Have Been / Räumliche mentale Modelle beim kontrafaktischen Denken über das, was sein hätte können.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
14	Zhiwei Xu, Kai Hwang 0001	Coherent Parallel Programming in C//.	APDC	1997	DBLP DOI BibTeX RDF
14	Norman F. Schneidewind	Measuring and evaluating maintenance process using reliability, risk, and test metrics.	ICSM	1997	DBLP DOI BibTeX RDF	maintenance process measurement, deployment risk, unified approach, maintenance actions, national visibility, NASA Space Shuttle, software maintenance, safety critical application, test metrics, test effort
14	Michael Leuschel, Bern Martens, Konstantinos Sagonas	Preserving Termination of Tabled Logic Programs While Unfolding.	LOPSTR	1997	DBLP DOI BibTeX RDF
14	Antony Griffiths, Babis Theodoulidis	SQL+i: Adding Temporal Indeterminancy to the Database Language SQL.	BNCOD	1996	DBLP DOI BibTeX RDF
14	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Models for Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
14	S. C. Leung, Hon Fung Li	On the realizability and synthesis of delay-insensitive behaviors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
14	Jörg-Uwe Kietz	Some Lower Bounds for the Computational Complexity of Inductive Logic Programming.	ECML	1993	DBLP DOI BibTeX RDF	Inductive Logic Programming, PAC-Learning
14	Todd Heywood, Sanjay Ranka	A practical hierarchical model of parallel computation.	SPDP	1991	DBLP DOI BibTeX RDF
14	Yorick Wilks, Dan Fass, Cheng-ming Guo, James E. McDonald, Tony Plate, Brian M. Slator	Providing machine tractable dictionary tools.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	computational lexicography, machine tractable dictionaries, pathfinder networkds, preference semantics, semantic primitives, word-sense disambiguation
14	Guy L. Steele Jr.	Making Asynchronous Parallelism Safe for the World.	POPL	1990	DBLP DOI BibTeX RDF
14	Prakash Panangaden	McCarthy's Amb Cannot Implement Fair Merge.	FSTTCS	1988	DBLP DOI BibTeX RDF
14	Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft	DI: an interactive debugging interpreter for applicative languages.	PLDI	1987	DBLP DOI BibTeX RDF
14	J. Dean Brock	Consistent Semantics for a Data Flow Language.	MFCS	1980	DBLP DOI BibTeX RDF
14	Arvind, Kim P. Gostelow, Wil Plouffe	Indeterminancy, Monitors, and Dataflow.	SOSP	1977	DBLP DOI BibTeX RDF	ID