5114 search results - page 700 / 1023 » Learning for Evolutionary Design |
178
click to vote
HVC
2005
Springer
16 years 7 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
162
click to vote
VRST
2004
ACM
16 years 4 days ago
2004
ACM
It is an interesting challenge to design input devices that are easy to learn and use and that allow a wide range of differentiated input. We have developed a novel joystick-like ...
171
click to vote
ITICSE
2003
ACM
15 years 12 months ago
2003
ACM
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...
162
click to vote
SIGGRAPH
2003
ACM
15 years 12 months ago
2003
ACM
Our design goal for OnLive Traveler was to develop a virtual community system that emulates natural social paradigms, allowing the participants to sense a tele-presence, the subje...
169
click to vote
ROBOCUP
1998
Springer
15 years 11 months ago
1998
Springer
The RoboCup simulator competition is one of the most challenging international proving grounds for contemporary AI research. Exactly because of the high level of complexity and a l...