29046 search results - page 196 / 5810 » Computable Models |
111
Voted
DICTA
2007
15 years 5 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
92
Voted
MSCS
2008
15 years 3 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
140
click to vote
PODS
2006
ACM
16 years 3 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
146
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
In the heart of the computer model of visual attention, an interest or saliency map is derived from an input image in a process that encompasses several data combination steps. Whi...
131
Voted
JCS
2010
15 years 1 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...