Sciweavers

108 search results - page 5 / 22
» ecai 2010
Sort
View
ECAI
2010
Springer
13 years 11 months ago
Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs
This work proposes a graph mining based approach to mine a taxonomy of events from activities for complex videos which are represented in terms of qualitative spatio-temporal relat...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
ECAI
2010
Springer
13 years 11 months ago
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
Matthias Westphal, Stefan Wölfl, Jason Jingsh...
ECAI
2010
Springer
13 years 11 months ago
ProbLog Technology for Inference in a Probabilistic First Order Logic
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
Maurice Bruynooghe, Theofrastos Mantadelis, Angeli...
ECAI
2010
Springer
13 years 11 months ago
Human Activity Recognition in Intelligent Home Environments: An Evolving Approach
In this paper, we propose an automated approach to track and recognize daily activities. Any activity is represented in this research as a sequence of raw sensors data. These seque...
José Antonio Iglesias, Plamen P. Angelov, A...
ECAI
2010
Springer
13 years 11 months ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...