Sciweavers

127 search results - page 19 / 26
» A Qualitative Approach to Syllogistic Reasoning
Sort
View
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...
IADIS
2003
15 years 1 months ago
Knowledge Discovery Process Supporting Organizational Learning
This paper stresses the contribution of the process of knowledge discovery in databases for the effective creation and sharing of organizational knowledge. The focus on the proces...
Isabel Ramos, Maribel Yasmina Santos
ACL
2010
14 years 9 months ago
Modeling Norms of Turn-Taking in Multi-Party Conversation
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
Kornel Laskowski
CADE
2009
Springer
16 years 12 days ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
CORR
2004
Springer
140views Education» more  CORR 2004»
14 years 11 months ago
Integrating Defeasible Argumentation and Machine Learning Techniques
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
Sergio Alejandro Gómez, Carlos Iván ...