12836 search results - page 2412 / 2568 » Generalization Methods in Bioinformatics |
156
Voted
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
141
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...
143
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
177
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
144
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...