2153 search results - page 265 / 431 » From Requirements Models to Formal Specifications in B |
133
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
High noise robustness has been achieved in speech recognition by using sparse exemplar-based methods with spectrogram windows spanning up to 300 ms. A downside is that a large exe...
161
click to vote
ESA
2005
Springer
15 years 12 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
200
click to vote
JWSR
2008
15 years 6 months ago
2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
179
click to vote
AAAI
2008
15 years 8 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
159
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Two-dimensional gel electrophoresis (2DE) is a powerful technique to examine post-translational modifications of complexly modulated proteins. Currently, spot detectio...