1567 search results - page 62 / 314 » A Mechanized Model of the Theory of Objects |
102
click to vote
CIVR
2007
Springer
15 years 7 months 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...
116
click to vote
ICANN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We demonstrate that selective attention can improve learning. Considerably fewer samples are needed to learn a source separation problem when the inputs are pre-segmented...
107
click to vote
OOPSLA
1992
Springer
15 years 5 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
113
click to vote
CSL
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
102
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...