Sciweavers

4242 search results - page 256 / 849
» An Event Spacing Experiment
Sort
View
ICIAP
2007
ACM
16 years 27 days ago
Object Tracking at Multiple Levels of Spatial Resolutions
Tracking is usually performed at a single level of data resolution. This paper describes a multi-resolution tracking framework developed with efficiency and robustness in mind. E...
Son Dinh Tran, Larry S. Davis
DAGM
2005
Springer
16 years 9 days ago
A Method for Fast Search of Variable Regions on Dynamic 3D Point Clouds
The paper addresses the region search problem in three-dimensional (3D) space. The data used is a dynamically growing point cloud as it is typically gathered with a 3D-sensing devi...
Eric Wahl, Gerd Hirzinger
ESORICS
2003
Springer
15 years 12 months ago
An On-the-Fly Model-Checker for Security Protocol Analysis
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
David A. Basin, Sebastian Mödersheim, Luca Vi...
ECAL
2001
Springer
15 years 11 months ago
The Survival of the Smallest: Stability Conditions for the Cultural Evolution of Compositional Language
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
Henry Brighton, Simon Kirby
ICRA
2000
IEEE
85views Robotics» more  ICRA 2000»
15 years 11 months ago
Using Haptic Vector Fields for Animation Motion Control
We are exploring techniques for animation authoring and editing using a haptic force-feedback device. In our system, a family of animations is encoded by a bundle of trajectories....
Bruce Randall Donald, Frederick Henle