1072 search results - page 194 / 215 » Fuzzy decision making in embedded system design |
130
click to vote
AND
2010
14 years 11 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
209
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
112
click to vote
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
In large-scale clusters and computational grids, component failures become norms instead of exceptions. Failure occurrence as well as its impact on system performance and operatio...
118
click to vote
RAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...
108
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...