2673 search results - page 495 / 535 » Guided Static Analysis |
132
Voted
TMI
2010
14 years 7 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
124
click to vote
TMM
2010
14 years 7 months ago
2010
As digital cameras with Global Positioning System (GPS) capability become available and people geotag their photos using other means, it is of great interest to annotate semantic e...
118
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The Support Vector Machine (SVM) methodology is an effective, supervised, machine learning method that gives stateof-the-art performance for brain state classification from funct...
132
click to vote
ATAL
2011
Springer
14 years 23 days ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...
107
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...