Sciweavers

261 search results - page 30 / 53
» Alternative Bloat Control Methods
Sort
View
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
14 years 2 months ago
Estimation of non-stationary Markov Chain transition models
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
Luca F. Bertuccelli, Jonathan P. How
WABI
2001
Springer
14 years 1 days ago
A Chemical-Distance-Based Test for Positive Darwinian Selection
There are very few instances in which positive Darwinian selection has been convincingly demonstrated at the molecular level. In this study, we present a novel test for detecting p...
Tal Pupko, Roded Sharan, Masami Hasegawa, Ron Sham...
HASE
2007
IEEE
13 years 11 months ago
Validation Support for Distributed Real-Time Embedded Systems in VDM++
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
NAACL
1994
13 years 9 months ago
Advanced Human-Computer Interface and Voice Processing Applications in Space
Much interest already exists in the electronics research community for developing and integrating speech technology to a variety of applications, ranging from voice-activated syst...
Julie Payette
AROBOTS
2000
179views more  AROBOTS 2000»
13 years 7 months ago
A Gesture Based Interface for Human-Robot Interaction
Service robotics is currently a pivotal research area in robotics, with enormous societal potential. Since service robots directly interact with people, nding natural" and ea...
Stefan Waldherr, Roseli Romero, Sebastian Thrun