3742 search results - page 726 / 749 » On the Use of Formal Techniques for Validation |
BMCBI
2007
15 years 1 months ago
2007
Background: In the last decade, techniques were established for the large scale genome-wide analysis of proteins, RNA, and metabolites, and database solutions have been developed ...
141
click to vote
JMM2
2006
15 years 1 months ago
2006
External perception based on vision plays a critical role in developing improved and robust localization algorithms, as well as gaining important information about the vehicle and ...
129
click to vote
TCAD
2008
15 years 1 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
124
click to vote
TIT
2008
15 years 1 months ago
2008
Variable-to-variable codes are very attractive yet not well understood data compression schemes. In 1972 Khodak claimed to provide upper and lower bounds for the achievable redund...
108
click to vote
CAD
2005
Springer
15 years 1 months ago
2005
Springer
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...