6167 search results - page 977 / 1234 » Can Refinement be Automated |
102
click to vote
SCIA
2007
Springer
15 years 7 months ago
2007
Springer
Two deformable registration methods, the Demons and the Morphon algorithms, have been used for registration of CT datasets to evaluate their usability in radiotherapy planning for ...
78
Voted
SEKE
2007
Springer
15 years 7 months ago
2007
Springer
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
91
Voted
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
133
Voted
TARK
2007
Springer
15 years 7 months ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
100
click to vote
TARK
2007
Springer
15 years 7 months ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...