Sciweavers

1569 search results - page 119 / 314
» Programming contest strategy
Sort
View
TMI
2002
248views more  TMI 2002»
15 years 5 days ago
Adaptive Elastic Segmentation of Brain MRI via Shape Model Guided Evolutionary Programming
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
Alain Pitiot, Arthur W. Toga, Paul M. Thompson
PLILP
1992
Springer
15 years 4 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
UM
2005
Springer
15 years 6 months ago
Decision Theoretic Dialogue Planning for Initiative Problems
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
Bryan McEleney, Gregory M. P. O'Hare
89
Voted
CP
2003
Springer
15 years 5 months ago
Identifying Inconsistent CSPs by Relaxation
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
Tomas Eric Nordlander, Ken N. Brown, Derek H. Slee...
LOPSTR
2009
Springer
15 years 5 months ago
Towards a Framework for Constraint-Based Test Case Generation
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
François Degrave, Tom Schrijvers, Wim Vanho...