2583 search results - page 257 / 517 » On the Representation of Timed Polyhedra |
154
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— Mapping an environment with an imaging sensor becomes very challenging if the environment to be mapped is unknown and has to be explored. Exploration involves the planning of v...
188
click to vote
SASN
2003
ACM
15 years 12 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
142
click to vote
ESA
2003
Springer
15 years 11 months ago
2003
Springer
We address a fundamental problem arising from analysis of biomolecular sequences. The input consists of two numbers wmin and wmax and a sequence S of n number pairs (ai, wi) with ...
222
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
185
click to vote
TIME
2000
IEEE
15 years 11 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...