7839 search results - page 194 / 1568 » What's there and what's not |
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
IJLT
2006
15 years 1 months ago
2006
: Performance support is happening where we work and live. Under a tree and at a park bench, in a submarine, at a parent-teacher meeting, in a cubicle, or on the manufacturing floo...
102
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
WICSA
2008
15 years 2 months ago
2008
Processes and techniques for the development of enterprise software are best served when infused with practical experience. Pragmatic reflection on what works and what doesn'...
152
Voted
ML
1998
ACM
15 years 1 months ago
1998
ACM
To operate successfully in indoor environments, mobile robots must be able to localize themselves. Most current localization algorithms lack flexibility, autonomy, and often optim...