1728 search results - page 166 / 346 » Advanced empirical testing |
166
click to vote
ACMSE
2006
ACM
16 years 26 days 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...
208
click to vote
AIED
2005
Springer
16 years 13 days 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 ...
142
click to vote
HPCC
2005
Springer
16 years 12 days 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 ...
203
click to vote
ICAPR
2005
Springer
16 years 12 days 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...
184
click to vote
WEBI
2005
Springer
16 years 11 days 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...