Sciweavers

705 search results - page 28 / 141
» Constraint-based Modeling and Ambiguity
Sort
View
ICSOC
2003
Springer
15 years 9 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
141
Voted
ASP
2003
Springer
15 years 9 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
ECCV
2002
Springer
16 years 5 months ago
Finding the Largest Unambiguous Component of Stereo Matching
Abstract. Stereo matching is an ill-posed problem for at least two principal reasons: (1) because of the random nature of match similarity measure and (2) because of structural amb...
Radim Sára
ICIP
2008
IEEE
16 years 5 months ago
EKF pose estimation: How many filters and cameras to use?
The Extended Kalman Filter (EKF) is suitable for real-time pose estimation due its low computational demand and ability to handle the nonlinear perspective camera model. There are...
Mohammad Ehab Ragab, Kin-hong Wong, Jun Zhou Chen,...
161
Voted
IVC
2008
94views more  IVC 2008»
15 years 3 months ago
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...