2638 search results - page 192 / 528 » A Framework for Automatic Debugging |
189
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
195
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. With the amount of available information on the Web growing rapidly with each day, the need to automatically filter the information in order to ensure greater user effici...
174
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Traditional clustering is a descriptive task that seeks to identify homogeneous groups of objects based on the values of their attributes. While domain knowledge is always the bes...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
189
click to vote
ECRTS
2006
IEEE
16 years 29 days ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...