2448 search results - page 392 / 490 » The Octahedron Abstract Domain |
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
EDUTAINMENT
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a data-driven shape model for reconstructing human body models from one or more 2D photos. One of the key tasks in reconstructing the 3D model from image data ...
EKAW
2006
Springer
14 years 1 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
ER
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...