Sciweavers

2200 search results - page 283 / 440
» The Generalized Pignistic Transformation
Sort
View
129
Voted
CSL
1998
Springer
15 years 8 months ago
Revision Programming = Logic Programming + Integrity Constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
ICPR
2000
IEEE
15 years 7 months ago
Eigenfiltering for Flexible Eigentracking (EFE)
Traditional techniques for tracking non-rigid objects such as optical flow, correlation, active contours or color, can not deal with situations where image changes are not due to ...
Fernando De la Torre, Javier Melenchón, Jor...
BMVC
2002
15 years 6 months ago
Low Density Feature Point Matching for Articulated Pose Identification
We describe a general algorithm for identifying an arbitrary pose of an articulated subject with low density feature points. The algorithm aims to establish a one-to-one correspon...
Horst Holstein, Baihua Li
135
Voted
APLAS
2008
ACM
15 years 6 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
ACMACE
2005
ACM
15 years 6 months ago
Game space design foundations for trans-reality games
Trans-reality games are games that take advantage of pervasive, mobile, ubiquitous, location-based and mixed reality technical infrastructures to create game spaces that can inclu...
Craig A. Lindley