Sciweavers

2679 search results - page 79 / 536
» Experimental Models for Validating Technology
Sort
View
93
Voted
CHI
2008
ACM
16 years 1 months ago
Peephole pointing: modeling acquisition of dynamically revealed targets
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
Xiang Cao, Jacky Jie Li, Ravin Balakrishnan
92
Voted
IROS
2008
IEEE
106views Robotics» more  IROS 2008»
15 years 7 months ago
Visual servoing from two special compounds of features using a spherical projection model
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...
Romeo Tatsambon Fomena, François Chaumette
84
Voted
ICARIS
2007
Springer
15 years 6 months ago
Modeling Migration, Compartmentalization and Exit of Naive T Cells in Lymph Nodes Without Chemotaxis
The migration of lymphocytes through secondary lymphoid organs was believed to be mainly controlled by chemokine gradients. This theory has recently been called into question since...
Johannes Textor, Jürgen Westermann
108
Voted
NIPS
2004
15 years 2 months ago
Chemosensory Processing in a Spiking Model of the Olfactory Bulb: Chemotopic Convergence and Center Surround Inhibition
This paper presents a neuromorphic model of two olfactory signalprocessing primitives: chemotopic convergence of olfactory receptor neurons, and center on-off surround lateral inh...
Baranidharan Raman, Ricardo Gutierrez-Osuna
107
Voted
SPIN
2010
Springer
14 years 11 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper