Sciweavers

4184 search results - page 172 / 837
» Names of Our Lives
Sort
View
WWW
2004
ACM
16 years 2 months ago
Ontalk: ontology-based personal document management system
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...
Hak Lae Kim, Hong-Gee Kim, Kyung-Mo Park
ACISP
2009
Springer
15 years 8 months ago
Analysis of Property-Preservation Capabilities of the ROX and ESh Hash Domain Extenders
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...
Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu
ICPR
2004
IEEE
16 years 3 months ago
Edge Detection in Range Images of Piled Box-like Objects
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...
Andreas Werber, Dimitrios Katsoulas
93
Voted
WEA
2009
Springer
92views Algorithms» more  WEA 2009»
15 years 8 months ago
Rotated-Box Trees: A Lightweight c-Oriented Bounding-Volume Hierarchy
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...
Mark de Berg, Peter Hachenberger
TPHOL
2005
IEEE
15 years 7 months ago
Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof
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...
Michael Norrish, Konrad Slind