923 search results - page 150 / 185 » An Improved Evaluation Function for the Bandwidth Minimizati... |
127
click to vote
MTV
2007
IEEE
15 years 11 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
171
Voted
MM
2004
ACM
15 years 10 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
133
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
145
click to vote
IMECS
2007
15 years 6 months ago
2007
—This paper presents a new metamodel-assisted metaheuristic algorithm for optimisation problems involving computationally expensive simulations. The algorithm, called Global Prob...
166
click to vote
AIEDU
2005
15 years 4 months ago
2005
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...