15416 search results - page 39 / 3084 » Embeddings of Computable Structures |
123
click to vote
ISESE
2006
IEEE
15 years 6 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
109
click to vote
JSA
2007
15 years 18 days ago
2007
Traditional design techniques for embedded systems apply transformations on the source code to optimize hardwarerelated cost factors. Unfortunately, such transformations cannot ad...
78
Voted
CGF
2008
15 years 25 days ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
114
click to vote
BMCBI
2006
15 years 23 days ago
2006
Background: Accurate methods for extraction of meaningful patterns in high dimensional data have become increasingly important with the recent generation of data types containing ...
87
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE