2440 search results - page 407 / 488 » Explanation-Based Feature Construction |
121
click to vote
ITS
2010
Springer
14 years 11 months ago
2010
Springer
Mily's World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical repre...
110
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
118
click to vote
WCET
2010
14 years 11 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
115
click to vote
CP
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
123
click to vote
ICMCS
2009
IEEE
14 years 11 months ago
2009
IEEE
Nearest Neighbor (NN) retrieval is a crucial tool of many computer vision tasks. Since the brute-force naive search is too time consuming for most applications, several tailored d...