Sciweavers

1129 search results - page 197 / 226
» Modular Ranking Abstraction
Sort
View
CP
2006
Springer
13 years 11 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
ER
2006
Springer
137views Database» more  ER 2006»
13 years 11 months ago
Preference Functional Dependencies for Managing Choices
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
Wilfred Ng
AVBPA
2003
Springer
146views Biometrics» more  AVBPA 2003»
13 years 11 months ago
Dental Biometrics: Human Identification Using Dental Radiographs
Abstract. The goal of forensic dentistry is to identify people based on their dental records, mainly as radiograph images. In this paper we attempt to set forth the foundations of ...
Anil K. Jain, Hong Chen, Silviu Minut
AIPS
2008
13 years 10 months ago
Stochastic Planning with First Order Decision Diagrams
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
Saket Joshi, Roni Khardon
CIVR
2005
Springer
165views Image Analysis» more  CIVR 2005»
13 years 9 months ago
The Use and Utility of High-Level Semantic Features in Video Retrieval
Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...
Michael G. Christel, Alexander G. Hauptmann