Sciweavers

2272 search results - page 104 / 455
» Validity Invariants and Effects
Sort
View
BC
2005
78views more  BC 2005»
13 years 10 months ago
Velocity constancy and models for wide-field visual motion detection in insects
The tangential neurons in the lobula plate region of the flies are known to respond to visual motion across broad receptive fields in visual space. When intracellular recordings ar...
Patrick A. Shoemaker, David C. O'Carroll, A. D. St...
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
13 years 8 months ago
Trajectory prediction in cluttered voxel environments
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
Nikolay Jetchev, Marc Toussaint
ACTA
2011
13 years 5 months ago
Nonatomic dual bakery algorithm with bounded tokens
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
Alex A. Aravind, Wim H. Hesselink
MMAS
2010
Springer
13 years 4 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
BCSHCI
2008
13 years 11 months ago
Mobile location-based awareness and connectedness
Mobile social awareness systems open up new social opportunities by enabling the automatic disclosure of awareness cues. We are trying to understand which cues work best to achiev...
Michael Voong