5550 search results - page 712 / 1110 » Different Approaches to Proof Systems |
181
click to vote
POS
1992
Springer
15 years 11 months ago
1992
Springer
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
185
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
209
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
185
Voted
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
323
click to vote
AIPR
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an agent-based full body tracking and 3D animation system to generate motion data using stereo calibrated cameras. The novelty of our approach is that agents are bound t...