1981 search results - page 336 / 397 » Model-Checking Hierarchical Structures |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- Moving a crowd of robots or avatars from their current configurations to some destination area without causing collisions is a challenging motion-planning problem because the hig...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
INFOVIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Clustering, or unsupervised classification, has many uses in fields that depend on grouping results from large amount of data, an example being the N-body cosmological simulation ...
GRAPHITE
2003
ACM
14 years 2 months ago
2003
ACM
Freehand sketching is a natural and powerful means of interpersonal communication. But to date, it still cannot be supported effectively by human-computer interface. In this paper...