6608 search results - page 956 / 1322 » On the Completeness of Model Checking |
158
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
— This paper introduces the multi-robot boundary coverage problem, wherein a group of k robots must inspect every point on the boundary of a 2-dimensional test environment. Using...
161
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
203
click to vote
ITRE
2005
IEEE
16 years 12 days ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
143
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
155
click to vote
ADBIS
2005
Springer
16 years 11 days ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...