33356 search results - page 312 / 6672 » Models of Continual Computation |
216
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
177
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
165
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
187
click to vote
MIRAGE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
152
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...