1068 search results - page 101 / 214 » For completeness, sublogarithmic space is no space |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Libraries of trajectories are a promising way of creating policies for difficult problems. However, often it is not desirable or even possible to create a new library for ever...
SIBGRAPI
2007
IEEE
14 years 3 months ago
2007
IEEE
A good shape descriptor is necessary for automatically identifying landmarks on boundaries. Our method of boundary shape description is based on the notion of cscale, which is a n...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
FIMH
2007
Springer
14 years 3 months ago
2007
Springer
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...