4491 search results - page 210 / 899 » Algorithm Engineering |
114
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
101
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
141
Voted
MICCAI
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
122
click to vote
RE
1999
Springer
15 years 6 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
138
click to vote
AIRWEB
2008
Springer
15 years 4 months ago
2008
Springer
Every day millions of users search for information on the web via search engines, and provide implicit feedback to the results shown for their queries by clicking or not onto them...