734 search results - page 34 / 147 » Narrowing the Narrowing Space |
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Inter-organizational knowledge networks and knowledge marketplaces have emerged in order to enable organizations to share or commercially exploit their knowledge outside narrow or...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
Performing segmentation of narrow, elongated structures with low contrast boundaries is a challenging problem. Boundaries of these structures are difficult to be located when noise...
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
CC
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...