Sciweavers

896 search results - page 60 / 180
» Restriction categories I: categories of partial maps
Sort
View
PPDP
2010
Springer
13 years 6 months ago
Towards a jitting VM for prolog execution
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
Carl Friedrich Bolz, Michael Leuschel, David Schne...
SIGMOD
2008
ACM
159views Database» more  SIGMOD 2008»
14 years 9 months ago
Bootstrapping pay-as-you-go data integration systems
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
Anish Das Sarma, Xin Dong, Alon Y. Halevy
SAC
2004
ACM
14 years 2 months ago
Propositional planning in BDI agents
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael d...
RT
2004
Springer
14 years 2 months ago
Rendering Procedural Terrain by Geometry Image Warping
We describe an approach for rendering large terrains in real-time. A digital elevation map defines the rough shape of the terrain. During rendering, procedural geometric and text...
Carsten Dachsbacher, Marc Stamminger
VRST
2000
ACM
14 years 1 months ago
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
Sujin Liu, Zhiyong Huang