4850 search results - page 373 / 970 » Proof and Computation in Geometry |
161
click to vote
TPHOL
2006
IEEE
16 years 25 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
172
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
Recent work [27, 15] introduced a novel peer-to-peer application that leverages content sharing and aggregation among the peers to diagnose misconfigurations on a desktop PC. Thi...
185
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
192
click to vote
ICTAC
2004
Springer
16 years 6 days ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
149
click to vote
PG
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we introduce algorithms to voxelize polygonal meshes in common sampling lattices. In the case of Cartesian lattices, we complete the separability and minimality proo...