2555 search results - page 435 / 511 » Quantifiers and Working Memory |
145
click to vote
IJKESDP
2010
15 years 1 months ago
2010
Abstract— We previously proposed evolutionary fuzzy systems of playing Ms.PacMan for the competitions. As a consequence of the evolution, reflective action rules such that PacMa...
135
click to vote
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automatic delineation of the prostate boundary in transrectal ultrasound (TRUS) can play a key role in image-guided prostate intervention. However, it is a very challengi...
139
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
147
Voted
TPDS
2010
15 years 1 months ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
124
click to vote
TVCG
2010
15 years 1 months ago
2010
—In this paper, we propose a novel approach for high-dynamic-range (HDR) texture compression (TC) suitable for rendering systems of different capacities. Based on the previously ...