4276 search results - page 234 / 856 » Techniques for Empirical Validation |
164
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We present a hill-climbing algorithm to solve planning problems with temporal uncertainty. First an optimistic plan that is valid when all actions complete quickly is found. Then ...
168
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Documentimageunderstandingdenotesthe recognition of semanticallyrelevant componentsin the layout extracted froma documentimage.This recognitionprocessis based on somevisual models...
224
click to vote
GEO
2000
15 years 8 months ago
2000
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
165
click to vote
IJDMMM
2008
15 years 6 months ago
2008
In recent years, a number of machine learning algorithms have been developed for the problem of ordinal classification. These algorithms try to exploit, in one way or the other, t...