319 search results - page 28 / 64 » Juzi: a tool for repairing complex data structures |
70
Voted
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
The examination of straightforwardly definable discrete structures in nucleic acids and proteins turned out to be perhaps the most important development in our present knowledge a...
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
107
Voted
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
98
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: Data from metabolomic studies are typically complex and high-dimensional. Principal component analysis (PCA) is currently the most widely used statistical technique fo...