3799 search results - page 635 / 760 » An Engineering Approach to Formal Methods |
152
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
132
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
127
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
123
Voted
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
161
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...