Sciweavers

12670 search results - page 2197 / 2534
» Requirements Modeling
Sort
View
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 6 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 6 months ago
Idiotypic Immune Networks in Mobile Robot Control
Jerne's idiotypic-network theory postulates that the immune response involves interantibody stimulation and suppression, as well as matching to antigens. The theory has proved...
Amanda M. Whitbrook, Uwe Aickelin, Jonathan M. Gar...
CORR
2008
Springer
156views Education» more  CORR 2008»
15 years 6 months ago
Wireless Sensor/Actuator Network Design for Mobile Control Applications
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
Feng Xia, Yu-Chu Tian, Yanjun Li, Youxian Sun
CPHYSICS
2010
88views more  CPHYSICS 2010»
15 years 6 months ago
Distributed computing as a virtual supercomputer: Tools to run and manage large-scale BOINC simulations
Distributed computing (DC) projects tackle large computational problems by exploiting the donated processing power of thousands of volunteered computers, connected through the Int...
Toni Giorgino, Matt J. Harvey, Gianni De Fabritiis
CSL
2010
Springer
15 years 6 months ago
Monaural speech separation and recognition challenge
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
Martin Cooke, John R. Hershey, Steven J. Rennie
« Prev « First page 2197 / 2534 Last » Next »