Sciweavers

4555 search results - page 32 / 911
» Deductive Algorithmic Knowledge
Sort
View
KI
2007
Springer
14 years 4 months ago
From Distributed Vision Networks to Human Behavior Interpretation
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
Hamid K. Aghajan, Chen Wu
TKDE
2012
208views Formal Methods» more  TKDE 2012»
12 years 16 days ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
AAAI
1992
13 years 11 months ago
From Statistics to Beliefs
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Jose...
EAAI
2007
99views more  EAAI 2007»
13 years 10 months ago
Data mining for agent reasoning: A synergy for training intelligent agents
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...
Andreas L. Symeonidis, Kyriakos C. Chatzidimitriou...
CADE
2003
Springer
14 years 10 months ago
Source-Tracking Unification
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
Venkatesh Choppella, Christopher T. Haynes