4290 search results - page 696 / 858 » Formal Approaches to Teamwork |
170
click to vote
ICDM
2005
IEEE
16 years 3 days ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
179
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
186
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
185
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
163
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...