Sciweavers

2124 search results - page 277 / 425
» Repairing Structurally Complex Data
Sort
View
VR
2007
IEEE
141views Virtual Reality» more  VR 2007»
14 years 4 months ago
Real-time Path Planning for Virtual Agents in Dynamic Environments
We present a novel approach for real-time path planning of multiple virtual agents in complex dynamic scenes. We introduce a new data structure, Multi-agent Navigation Graph (MaNG...
Avneesh Sud, Erik Andersen, Sean Curtis, Ming C. L...
FOSSACS
2007
Springer
14 years 4 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
ICRA
2006
IEEE
150views Robotics» more  ICRA 2006»
14 years 4 months ago
An Approach to Visual Servoing based on Coded Light
— Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exh...
Jordi Pagès, Christophe Collewet, Fran&cced...
COMPGEOM
2006
ACM
14 years 4 months ago
Online geometric reconstruction
We investigate a new class of geometric problems based on the idea of online error correction. Suppose one is given access to a large geometric dataset though a query mechanism; f...
Bernard Chazelle, C. Seshadhri
ESORICS
2005
Springer
14 years 3 months ago
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
João Porto de Albuquerque, Heiko Krumm, Pau...