Sciweavers

661 search results - page 85 / 133
» A Logic of Capabilities
Sort
View
NECO
2008
116views more  NECO 2008»
13 years 8 months ago
A (Somewhat) New Solution to the Variable Binding Problem
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
Leon Barrett, Jerome Feldman, Liam Mac Dermed
IGPL
2010
110views more  IGPL 2010»
13 years 6 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
FLAIRS
2009
13 years 5 months ago
Supporting Uncertainty and Inconsistency in Semantic Web Applications
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
Neli P. Zlatareva
HCI
2009
13 years 5 months ago
Agent-Based Driver Abnormality Estimation
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...
Tony Poitschke, Florian Laquai, Gerhard Rigoll
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 5 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...