1728 search results - page 166 / 346 » Advanced empirical testing |
130
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
143
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
112
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
153
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a method for accurately segmenting moving container trucks in image sequences. This task allows to increase the performance of a recognition system that must id...
138
Voted
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...