9405 search results - page 415 / 1881 » Computing a Model of Set Theory |
175
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
213
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
175
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
202
click to vote
ACL
2010
15 years 4 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
235
click to vote
SIGECOM
2005
ACM
16 years 12 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...