Sciweavers

891 search results - page 47 / 179
» Temporal Constraints: A Survey
Sort
View
SIGIR
2010
ACM
14 years 1 months ago
Temporal diversity in recommender systems
Collaborative Filtering (CF) algorithms, used to build webbased recommender systems, are often evaluated in terms of how accurately they predict user ratings. However, current eva...
Neal Lathia, Stephen Hailes, Licia Capra, Xavier A...
ICCV
2001
IEEE
14 years 12 months ago
Multi-Agent Event Recognition
This paper presents a new approachto recognizingmultiagent events observed by a static camera. To track objects robustly, knowledgeabout the groundplaneand the events is used. An ...
Somboon Hongeng, Ramakant Nevatia
IJCAI
2003
13 years 11 months ago
Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
Van-Thinh Vu, François Brémond, Moni...
ECP
1999
Springer
157views Robotics» more  ECP 1999»
14 years 2 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
LPAR
2000
Springer
14 years 1 months ago
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
Wolfgang Grieskamp, Markus Lepper