21876 search results - page 3990 / 4376 » Computer game-flow design |
137
Voted
NJC
2006
15 years 4 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
114
click to vote
PSYCHNOLOGY
2006
15 years 4 months ago
2006
Most of the Virtual Environments (VE) currently available in the field of psychological treatments are designed to solve a specific problem (acrophobia, flying phobia, claustropho...
175
Voted
SIAMSC
2008
15 years 4 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
153
Voted
RAS
2006
15 years 4 months ago
2006
The probabilistic roadmap approach is one of the leading motion planning techniques. Over the past decade the technique has been studied by many different researchers. This has le...
145
click to vote
RAS
2006
15 years 4 months ago
2006
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...