4270 search results - page 407 / 854 » A Permutation Approach to Validation |
202
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
164
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
201
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
192
Voted
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a method for 3-D shape reconstruction of retinal fundus from fluorescein images. Our method extracts the location of vessels' bifurcation as a reliable feature for...
193
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...