4099 search results - page 155 / 820 » A Framework for Interactive Proof |
RIDE
1999
IEEE
15 years 2 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
EDBT
2009
ACM
15 years 1 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
CW
2004
IEEE
15 years 1 months ago
2004
IEEE
Shared virtual worlds require exchanging shape models over the Internet. Since complex shapes such as VRML objects are often defined with polygonal meshes, the size of models may ...
3DIM
2005
IEEE
15 years 1 hour ago
2005
IEEE
3D interactive modeling from range data aims at simultaneously producing and visualizing the surface model of an object while data is collected. The current research challenge is ...
AGI
2008
14 years 11 months ago
2008
. We consider the Distributed Cognition paradigm as a framework for implementing artificial components of human cognition. We take email/internet search as a setting of distributed...