29046 search results - page 355 / 5810 » Computable Models |
141
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
126
click to vote
ACL
2010
15 years 2 months ago
2010
Dominance links were introduced in grammars to model long distance scrambling phenomena, motivating the definition of multiset-valued linear indexed grammars (MLIGs) by Rambow (19...
137
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
124
click to vote
IJON
2006
15 years 4 months ago
2006
Switching between tasks that overlap in perceptual and response characteristics is assumed to rely upon the maintenance of task representations in prefrontal cortex (PFC). However...
193
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
Projection matrices from projective spaces ? to ? have long been used in multiple-view geometry to model the perspective projection created by the pin-hole camera. In this work we...