5550 search results - page 829 / 1110 » Different Approaches to Proof Systems |
162
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...
190
click to vote
RTAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies,...
217
click to vote
IUI
2003
ACM
16 years 2 days ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
181
click to vote
WIDM
2003
ACM
16 years 1 days ago
2003
ACM
Whenever XML data must be shared by heterogeneous applications, transformations between different applicationspecific XML formats are necessary. The state-of-the-art method transf...
161
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...