Search results for "inferences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Stephan Schulz 0001	Learning Search Control Knowledge for Equational Theorem Proving.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
8	Miquel Bofill, Guillem Godoy	On the Completeness of Arbitrary Selection Strategies for Paramodulation.	ICALP	2001	DBLP DOI BibTeX RDF	automated deduction
8	Roland Hausser	Spatio-temporal Indexing in Database Semantics.	CICLing	2001	DBLP DOI BibTeX RDF
8	Denver Dash, Marek J. Druzdzel	Caveats for Causal Reasoning with Equilibrium Models.	ECSQARU	2001	DBLP DOI BibTeX RDF
8	Anthony Hunter	A Semantic Tableau Version of First-Order Quasi-Classical Logic.	ECSQARU	2001	DBLP DOI BibTeX RDF
8	Faker Zouaoui, James R. Wilson	Input uncertainty: accounting for parameter uncertainty in simulation input modeling.	WSC	2001	DBLP DOI BibTeX RDF
8	Jerry Banks	Panel: education for practice: panel session: education for simulation practice - five perspectives.	WSC	2001	DBLP DOI BibTeX RDF
8	Piero A. Bonatti	Reasoning with Open Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
8	Francine Merat-Bodin, Tahar Hakim Benchekroun	Analysis and Modeling of Cooperative Processes in Dynamic and Complex Environments.	CSCWD	2001	DBLP DOI BibTeX RDF
8	Jürgen Stuber	A Model-Based Completeness Proof of Extended Narrowing and Resolution.	IJCAR	2001	DBLP DOI BibTeX RDF
8	Uwe Waldmann	Superposition and Chaining for Totally Ordered Divisible Abelian Groups.	IJCAR	2001	DBLP DOI BibTeX RDF
8	Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Information and Control in Gray-Box Systems.	SOSP	2001	DBLP DOI BibTeX RDF
8	Pramod G. Joisha, U. Nagaraj Shenoy, Prithviraj Banerjee	Computing Array Shapes in MATLAB.	LCPC	2001	DBLP DOI BibTeX RDF
8	Stuart Anderson, John Power, Konstantinos Tourlas	Reasoning in Higraphs with Loose Edges.	HCC	2001	DBLP DOI BibTeX RDF
8	Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace	Deriving Explanations and Implications for Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
8	José Aguilar 0001	A Fuzzy Cognitive Map Based on the Random Neural Model.	IEA/AIE	2001	DBLP DOI BibTeX RDF
8	Andrea Panati, Daniele Theseider Dupré	Causal Simulation and Diagnosis of Dynamic Systems.	AI*IA	2001	DBLP DOI BibTeX RDF
8	Markus Knauff, Corinne Jola, Gerhard Strube	Spatial Reasoning: No Need for Visual Information.	COSIT	2001	DBLP DOI BibTeX RDF
8	Walid S. Saba	Language and Commonsense Knowledge.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
8	Patrick A. Wall, Owen J. Devine	Interactive analysis of the spatial distribution of disease using a geographic information systems.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
8	Mark Hansen, Ben Rubin	The Audiences Would Be the Artists and their Life Would Be the Arts.	IEEE Multim.	2000	DBLP DOI BibTeX RDF
8	William W. Cohen	Data integration using similarity joins and a word-based information representation language.	ACM Trans. Inf. Syst.	2000	DBLP DOI BibTeX RDF
8	Alexander Klippel, Lars Kulik	Using Grids in Maps.	Diagrams	2000	DBLP DOI BibTeX RDF
8	Robert K. Lindsay	Playing with Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
8	David A. Maluf, Jiming Liu 0001	Qualitative Discovery in Medical Databases.	ISMIS	2000	DBLP DOI BibTeX RDF
8	Guillem Godoy, Robert Nieuwenhuis	Paramodulation with Built-in Abelian Groups.	LICS	2000	DBLP DOI BibTeX RDF	term rewriting, automated deduction
8	Judy Kay	Accretion Representation for Scrutable Student Modeling.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
8	Marcelo Finger, Wamberto Weber Vasconcelos	Sharing Resource-Sensitive Knowledge Using Combinator Logics.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	resource-sensitive logics, Knowledge sharing
8	Omolola Ogunyemi, John R. Clarke, Bonnie L. Webber	Using Bayesian Networks for Diagnostic Reasoning in Penetrating Injury Assessment.	CBMS	2000	DBLP DOI BibTeX RDF	computer-based medical diagnosis, Bayesian networks, decision support, reasoning under uncertainty
8	Ronald G. Ross	Expressing Business Rules.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
8	Susanne Prediger	Nested Concept Graphs and Triadic Power Context Families.	ICCS	2000	DBLP DOI BibTeX RDF
8	Yoshinori Adachi, Koichi Kawasumi, Masahiro Ozaki, Naohiro Ishii	Development of accounting education CAI system.	KES	2000	DBLP DOI BibTeX RDF
8	Alan L. Yuille, James M. Coughlan, Song Chun Zhu, Ying Nian Wu	Order Parameters for Minimax Entropy Distributions: When Does High Level Knowledge Help?	CVPR	2000	DBLP DOI BibTeX RDF
8	Michael Barg, Raymond K. Wong 0001	A Multi-Agent Architecture for Cooperative Query Answering.	HICSS	2000	DBLP DOI BibTeX RDF
8	Ofer Arieli	An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.	JELIA	2000	DBLP DOI BibTeX RDF
8	Alexander Brodsky 0001, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang	Constraints, Inference Channels and Secure Databases.	CP	2000	DBLP DOI BibTeX RDF
8	Yukari Yamauchi, Masao Mukaidono	Probabilistic Inference and Bayesian Theorem on Rough Sets.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
8	Pattarachai Lalitrojwong	CIM - The Hybrid Symbolic/Connectionist Rule-Based Inference System.	IEA/AIE	2000	DBLP DOI BibTeX RDF
8	Yacine Zeghib, François de Bertrand de Beuvron, Martina Kullmann	Using Description Logics for Case-Based Reasoning in Hybrid Diagnosis.	IEA/AIE	2000	DBLP DOI BibTeX RDF
8	Pramod K. Varshney	Multisensor Data Fusion.	IEA/AIE	2000	DBLP DOI BibTeX RDF
8	Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori	George Boole, a Forerunner of Symbolic Computation.	AISC	2000	DBLP DOI BibTeX RDF
8	Jaime Aguilera Vazquez	A Dynamic Virtual Fragmentation Method for Query Recovery Optimization.	SCCC	2000	DBLP DOI BibTeX RDF	dynamic virtual fragmentation method, query recovery optimization, horizontal fragmented tables, database parallel server, shared nothing supercomputer, information retrieval, query processing, distributed databases, distributed database, optimisation, database theory, response time, parallel databases, parallel database
8	Sunita Chulani, Barry W. Boehm, Bert Steece	Bayesian Analysis of Empirical Software Engineering Cost Models.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	software engineering cost models, measurement, metrics, project management, Bayesian analysis, COCOMO, multiple regression, prediction accuracy, software estimation, empirical modeling, model calibration
8	Maria Paola Bonacina	A Taxonomy of Theorem-Proving Strategies.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
8	Sven Wachsmuth, Hans Brandt-Pook, Gudrun Socher, Franz Kummert, Gerhard Sagerer	Multilevel Integration of Vision and Speech Understanding Using Bayesian Networks.	ICVS	1999	DBLP DOI BibTeX RDF
8	Dan Murray, Kevan Durrell	Inferring Demographic Attributes of Anonymus Internet Users.	WEBKDD	1999	DBLP DOI BibTeX RDF
8	Leysia Palen	Social, Individual and Technological Issues for Groupware Calendar Systems.	CHI	1999	DBLP DOI BibTeX RDF	sociotemporality, CSCW, ethnography, time, calendars, meeting scheduling, diaries, groupware calendar systems
8	Tsukasa Noma, Kyoji Oishi, Hiroshi Futsuhara, Hiromi Baba, Takeshi Ohashi, Toshiaki Ejima	Motion Generator Approach to Translating Human Motion from Video to Animation.	PG	1999	DBLP DOI BibTeX RDF
8	Niels C. Haering, Richard J. Qian, M. Ibrahim Sezan	Detecting Hunts in Wildlife Videos.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	Video content analysis, content-based indexing and retrieval, browsing and visualization
8	Christof Monz	Contextual Inference in Computational Semantics.	CONTEXT	1999	DBLP DOI BibTeX RDF
8	Bruce Edmonds	The Pragmatic Roots of Context.	CONTEXT	1999	DBLP DOI BibTeX RDF
8	Maud Champagne, Jacques Virbel, Jean-Luc Nespoulous	The Differential (?) Processing of Literal and Nonliteral Speech Acts: A Psycholinguistic Approach.	CONTEXT	1999	DBLP DOI BibTeX RDF
8	Wolfram Hinzen	Contextual Dependence and the Epistemic Foundations of Dynamic Semantics.	CONTEXT	1999	DBLP DOI BibTeX RDF
8	Vera M. Kettnaker, Matthew Brand	Minimum-Entropy Models of Scene Activity.	CVPR	1999	DBLP DOI BibTeX RDF
8	Richard J. Qian, Niels C. Haering, M. Ibrahim Sezan	A Computational Approach to Semantic Event Detection.	CVPR	1999	DBLP DOI BibTeX RDF
8	Yuan Miao 0001, Zhi-Qiang Liu, Shi Li 0002, Chee Kheong Siew	Dynamical Cognitive Network - An Extension of Fuzzy Cognitive Map.	ICTAI	1999	DBLP DOI BibTeX RDF
8	Mark H. Gravener, Chika Nwankpa, Tai-Sim Yeoh	ATC Computational Issues.	HICSS	1999	DBLP DOI BibTeX RDF
8	Frithjof Kruggel, D. Yves von Cramon	Physiologically Oriented Models of the Hemodynamic Response in Functional MRI.	IPMI	1999	DBLP DOI BibTeX RDF
8	Harald Ganzinger, Robert Nieuwenhuis	Constraints and Theorem Proving.	CCL	1999	DBLP BibTeX RDF
8	Markus Egg, Claire Gardent, Michael Kohlhase	Steuerung der Inferenz in der Diskursverarbeitung.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
8	Samuel W. K. Chan, James Franklin	Symbolic connectionism in natural language disambiguation.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
8	Rick Vinter, Martin J. Loomes, Diana Kornbrot	Applying Software Metrics to Formal Specifications: A Cognitive Approach.	IEEE METRICS	1998	DBLP DOI BibTeX RDF	specification, metrics, software, Reasoning, formal
8	Jaume Agustí-Cullell, Jordi Puigsegur, W. Marco Schorlemmer	Query Answering by Means of Diagram Transformation.	FQAS	1998	DBLP DOI BibTeX RDF
8	Heikki Mannila, Hannu Toivonen, Atte Korhola, Heikki Olander	Learning, Mining, or Modeling? A Case Study from Paleocology.	Discovery Science	1998	DBLP DOI BibTeX RDF	paleoecology, machine learning, statistics, Bayesian modeling, regression trees
8	Benjamin Bell, Jan Hawkins, R. Bowen Loftin, Tom T. Carey, Alex Kass	The Use of 'War Stories' in Intelligent Learning Environments.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
8	Michael Alekhnovich, Samuel R. Buss, Shlomo Moran, Toniann Pitassi	Minimum Propositional Proof Length is NP-Hard to Linearly Approximate.	MFCS	1998	DBLP DOI BibTeX RDF
8	William W. Cohen	Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
8	Uwe Waldmann	Superposition for Divisible Torsion-Free Abelian Groups.	CADE	1998	DBLP DOI BibTeX RDF
8	Leo Bachmair, Harald Ganzinger	Strict Basic Superposition.	CADE	1998	DBLP DOI BibTeX RDF
8	Stéphane Coulondre, Eric Salvat	Piece Resolution: Towards Larger Perspectives.	ICCS	1998	DBLP DOI BibTeX RDF
8	Roberta L. Klatzky	Allocentric and Egocentric Spatial Representations: Definitions, Distinctions, and Interconnections.	Spatial Cognition	1998	DBLP DOI BibTeX RDF
8	Berry Claus, Klaus Eyferth, Carsten Gips, Robin Hörnig, Ute Schmid, Sylvia Wiebrock, Fritz Wysotzki	Reference Frames for Spatial Inference in Text Understanding.	Spatial Cognition	1998	DBLP DOI BibTeX RDF
8	Toshio Fukuda, Naoyuki Kubota	Adaptation, learning and evolution.	KES (1)	1998	DBLP DOI BibTeX RDF
8	Vamsi Boppana, Masahiro Fujita	Modeling the unknown! Towards model-independent fault and error diagnosis.	ITC	1998	DBLP DOI BibTeX RDF
8	John MacCormick, Andrew Blake 0001	Spatial Dependence in the Observation of Visual Contours.	ECCV (2)	1998	DBLP DOI BibTeX RDF
8	Mohammad E. Shiri, Esma Aïmeur, Claude Frasson	SARA: A Case-Based Student Modelling System.	EWCBR	1998	DBLP DOI BibTeX RDF	case based student modelling, problem solving, intelligent tutoring systems, student model
8	Uwe Egly, Stephan Schmitt	Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.	AISC	1998	DBLP DOI BibTeX RDF
8	Jason S. Chang, Sue J. Ker, Mathis H. M. Chen	Taxonomy and Lexical Semantics - From the Perspective of Machine Readable Dictionaries.	AMTA	1998	DBLP DOI BibTeX RDF
8	Jiming Liu 0001, Michel C. Desmarais	A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning
8	Peter Whaite, Frank P. Ferrie	Autonomous Exploration: Driven by Uncertainty.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Autonomous exploration, artificial perception, superellipsoids, theory of optimal experiments, active vision, visual servoing, volumetric models, unstructured environments, next best view
8	Reinhold Rauh, Christoph Schlieder, Markus Knauff	Präferierte mentale Modelle beim räumlich-relationalen Schließen: Empirie und kognitive Modellierung.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
8	Ralph Schäfer, Thomas Weis, Thomas Weyrath, Anthony Jameson	Wie können Ressourcenbeschränkungen eines Dialogpartners erkannt und berücksichtigt werden?	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
8	Anthony Hunter, Bashar Nuseibeh	Analyzing Inconsistent Specifications.	RE	1997	DBLP DOI BibTeX RDF
8	Daniel Hernández 0001	Qualitative vs. Fuzzy Represenations of Spatial Distance.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
8	Uwe Egly	Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.	CADE	1997	DBLP DOI BibTeX RDF
8	Brandon Bennett, Anthony G. Cohn 0001, Amar Isli	Combining Multiple Representations in a Spatial Reasoning System.	ICTAI	1997	DBLP DOI BibTeX RDF	spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations
8	Antonia Bertolino, Lorenzo Strigini	On the Use of Testability Measures for Dependability Assessment.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment
8	Iadh Ounis, Jean-Pierre Chevallet	Using Conceptual Graphs in a Multifaceted Logical Model for Information Retrieval.	DEXA	1996	DBLP DOI BibTeX RDF
8	Sanda M. Harabagiu, Dan I. Moldovan	A Parallel Algorithm for Text Inference.	IPPS	1996	DBLP DOI BibTeX RDF
8	Peter Graf	Path Indexing for AC-Theories.	CADE	1996	DBLP DOI BibTeX RDF
8	John Esch, Robert Levinson	Propagating Truth and Detecting Contradiction in Conceptual Graph Database.	ICCS	1996	DBLP DOI BibTeX RDF	Generalization Hierarchy, Proof Procedure, Logic, Resolution, Conceptual Graphs, Contradiction, Refutation
8	Alberto Bugarín, Purificación Cariñena, Manuel Fernández Delgado, Senén Barro	Petri Net Representation of Fuzzy Reasoning under Incomplete Information.	ISMVL	1996	DBLP DOI BibTeX RDF	Fuzzy Reasoning, Fuzzy Petri Nets, Fuzzy Expert Systems
8	Parag Havaldar, Gérard G. Medioni	Inference of segmented, volumetric shape from three intensity images.	CVPR	1996	DBLP DOI BibTeX RDF	volumetric shape, volumetric descriptions, weakly calibrated images, robust inference, image segmentation, segmented, object recognition, texture, grouping, stereo, shadows, shape description, generalized cylinders, intensity images
8	Pierre Breton, Steven W. Zucker	Shadows and shading flow fields.	CVPR	1996	DBLP DOI BibTeX RDF	shape-from-shading algorithms, illumination term, shading flow field, computer vision, shadows, geometric structure, flow fields, image intensities
8	Robert E. Filman, Ted Linden	Communicating security agents.	WETICE	1996	DBLP DOI BibTeX RDF	communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models
8	Brad T. Vander Zanden, Brad A. Myers	Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Boundaries.	ACM Trans. Comput. Hum. Interact.	1995	DBLP DOI BibTeX RDF	interaction, interaction techniques, object-oriented design, direct manipulation, user interface management systems, programming by example
8	Wai Wong	Recording and Checking HOL Proofs.	TPHOLs	1995	DBLP DOI BibTeX RDF
8	Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda	Formalization of Planar Graphs.	TPHOLs	1995	DBLP DOI BibTeX RDF
8	Michael R. Donat	Enhancing cleanroom techniques with refinement calculus.	CASCON	1995	DBLP BibTeX RDF
8	Sonia Bergamaschi, Bernhard Nebel	Acquisition and validation of complex object database schemata supporting multiple inheritance.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	taxonomic reasoning, object-oriented schemata, knowledge representation, multiple inheritance