2364 search results - page 238 / 473 » An Engine for Computing Well-Founded Models |
182
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
We present an efficient and uniform approach for the automatic reconstruction of surfaces of CAD (computer aided design) models and scalar fields defined on them, from an unorg...
157
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
174
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
164
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
163
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we disprove the belief widespread within the computer graphics community that Catmull-Clark subdivision surfaces cannot be evaluated directly without explicitly subd...