Sciweavers

3951 search results - page 245 / 791
» Automatic amortized analysis
Sort
View
JEI
2008
139views more  JEI 2008»
15 years 6 months ago
Tessella-oriented segmentation and guidelines estimation of ancient mosaic images
Automatic segmentation and analysis of ancient mosaic images can help archaeologists and experts build digital collections and automatically compare mosaics by means of image datab...
Lamia Benyoussef, Stéphane Derrode
WWW
2008
ACM
16 years 7 months ago
Social and semantics analysis via non-negative matrix factorization
Social media such as Web forum often have dense interactions between user and content where network models are often appropriate for analysis. Joint non-negative matrix factorizat...
Zhi-Li Wu, Chi-Wa Cheng, Chun-hung Li
VMCAI
2009
Springer
16 years 1 months ago
Thread-Modular Shape Analysis
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sa...
FCCM
2009
IEEE
172views VLSI» more  FCCM 2009»
16 years 1 months ago
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...
CCS
2007
ACM
16 years 22 days ago
Topological analysis of network attack vulnerability
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
Sushil Jajodia