4850 search results - page 932 / 970 » Proof and Computation in Geometry |
102
Voted
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...
126
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
104
click to vote
JNSM
2008
15 years 13 days ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
127
click to vote
JMIV
2006
15 years 13 days ago
2006
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...
122
click to vote
TCS
2008
15 years 11 days ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...