4581 search results - page 755 / 917 » Computing Transformation Semigroups |
158
click to vote
CIVR
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
164
click to vote
CIVR
2007
Springer
16 years 19 days ago
2007
Springer
Scalability is the key issue in making content-based copy detection (CBCD) methods practical for very large image and video databases. Since copies are transformed versions of ori...
139
click to vote
DRM
2007
Springer
16 years 19 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
174
click to vote
ESORICS
2007
Springer
16 years 18 days ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
160
click to vote
FROCOS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...