4211 search results - page 663 / 843 » Types as Abstract Interpretations |
146
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We present iCluster, a fast and efficient algorithm that clusters a set of images while co-registering them using a parameterized, nonlinear transformation model. The out...
157
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
149
click to vote
IPMI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. We describe the use of non-parametric permutation tests to detect activation in cortically-constrained maps of current density computed from MEG data. The methods are app...
153
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
134
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
As the largest online marketplace, eBay strives to promote its inventory throughout the Web via different types of online advertisement. Contextually relevant links to eBay assets...