8582 search results - page 1664 / 1717 » Here or There |
112
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
100
click to vote
MA
2010
Springer
14 years 10 months ago
2010
Springer
In this article, for the first time, one develops a nonparametric methodology for an analysis of shapes of configurations of landmarks on real 3D objects from regular camera pho...
110
click to vote
MBEES
2010
14 years 10 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
134
click to vote
MDM
2010
Springer
14 years 10 months ago
2010
Springer
—We present an optimal distributed algorithm to adapt the placement of a single operator in high communication cost networks, such as a wireless sensor network. Our parameterfree...
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...