4184 search results - page 172 / 837 » Names of Our Lives |
WWW
2004
ACM
16 years 2 months ago
2004
ACM
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
104
click to vote
ACISP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...
128
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
We present a framework for edge detection in range images acquired by a time of flight laser sensor. Our edge detection approach is inspired by [7], in the context of which edge d...
93
Voted
WEA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a new type of bounding-volume hierarchy, the c-oriented rotated-box tree, or c-rb-tree for short. A c-rb-tree uses boxes as bounding volumes, whose orientations come f...
108
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...