Sciweavers

2111 search results - page 380 / 423
» An Approach to Software Testing of Machine Learning Applicat...
Sort
View
SIGGRAPH
2009
ACM
15 years 9 months ago
Spectral mesh processing
Spectral methods for mesh processing and analysis rely on the eigenvalues, eigenvectors, or eigenspace projections derived from appropriately defined mesh operators to carry out ...
Bruno Lévy, Hao Zhang 0002
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 7 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
ASPLOS
2011
ACM
14 years 6 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
VEE
2012
ACM
252views Virtualization» more  VEE 2012»
13 years 10 months ago
libdft: practical dynamic data flow tracking for commodity systems
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...
BIBE
2007
IEEE
167views Bioinformatics» more  BIBE 2007»
15 years 7 months ago
Assessing the Performance of Macromolecular Sequence Classifiers
Machine learning approaches offer some of the most cost-effective approaches to building predictive models (e.g., classifiers) in a broad range of applications in computational bio...
Cornelia Caragea, Jivko Sinapov, Vasant Honavar, D...