Sciweavers

229 search results - page 12 / 46
» Recognizing Unnecessary Inference
Sort
View
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 7 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
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
ICIP
2003
IEEE
14 years 9 months ago
Adaptive rule-based recognition of events in video sequences
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
Vassilis Tzouvaras, Gabriel Tsechpenakis, Giorgos ...
ICCV
2001
IEEE
14 years 9 months ago
Continuous Global Evidence-Based Bayesian Modality Fusion for Simultaneous Tracking of Multiple Objects
Robust, real-time tracking of objects from visual data requires probabilistic fusion of multiple visual cues. Previous approaches have either been ad hoc or relied on a Bayesian n...
Jamie Sherrah, Shaogang Gong
IJAR
2010
98views more  IJAR 2010»
13 years 4 months ago
Variable elimination for influence diagrams with super value nodes
In the original formulation of influence diagrams (IDs), each model contained exactly one utility node. Tatman and Shachter (1990), introduced the possibility of having super-valu...
Manuel Luque, Francisco Javier Díez