5550 search results - page 678 / 1110 » Different Approaches to Proof Systems |
194
click to vote
ICPP
2003
IEEE
16 years 13 days ago
2003
IEEE
Spatial databases are entering an era of mass deployment in various real-life applications, especially mobile and location-based services. The real-time processing of spatial quer...
163
click to vote
SRDS
2003
IEEE
16 years 12 days ago
2003
IEEE
In today’s systems, applications are composed from various components that may be located on different machines. The components (acting as servers) may have to collaborate in or...
213
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
235
click to vote
APGV
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
218
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present a new algorithm for reconstructing an environment from images recorded by multiple calibrated cameras. Multiple camera systems challenge traditional ster...