3228 search results - page 287 / 646 » Computationally Sound Proofs |
141
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
110
click to vote
TPHOL
2006
IEEE
15 years 10 months 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...
131
click to vote
CCS
2005
ACM
15 years 10 months 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...
144
click to vote
ICTAC
2004
Springer
15 years 10 months 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 ...
115
click to vote
PG
2003
IEEE
15 years 9 months 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...