1567 search results - page 117 / 314 » A Mechanized Model of the Theory of Objects |
132
click to vote
ECCV
1994
Springer
15 years 5 months ago
1994
Springer
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...
111
Voted
MTA
2010
15 years 2 days ago
2010
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
124
click to vote
WSPI
2008
15 years 3 months ago
2008
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
106
click to vote
JAR
2008
15 years 1 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
118
click to vote
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...