Sciweavers

5606 search results - page 266 / 1122
» Advances in Information Science
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Autonomous virtual humans and lower animals: from biomechanics to intelligence
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...
Demetri Terzopoulos
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 9 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
ESANN
2008
15 years 8 months ago
Neural networks for computational neuroscience
Computational neuroscience is an appealing interdisciplinary domain, at the interface between biology and computer science. It aims at understanding the experimental data obtained...
David Meunier, Hélène Paugam-Moisy
GAMEON
2007
15 years 8 months ago
Teaching AI Concepts by Using Casual Games: A Case Study
Nowadays it is not uncommon for computer games to be used as tools to help introduce basic computer science concepts. In this paper we argue that games could also be used in more ...
Cesar Tadeu Pozzer, Börje Karlsson
ICWSM
2008
15 years 8 months ago
ASL-STEM Forum: A Bottom-Up Approach to Enabling American Sign Language to Grow in STEM Fields
Deaf and hard of hearing students studying advanced topics in Science, Technology, Engineering, and Mathematics (STEM) lack standard terminology to enable them to learn, discuss a...
Jeffrey P. Bigham, Daniel S. Otero, Jessica N. DeW...