7049 search results - page 1110 / 1410 » Data Abstraction for CSP-OZ |
157
click to vote
PVM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
167
click to vote
RSFDGRC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Feature selection refers to the problem of selecting those input features that are most predictive of a given outcome; a problem encountered in many areas such as machine...
173
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
152
click to vote
SCIA
2005
Springer
16 years 8 days ago
2005
Springer
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
186
click to vote
SCIA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...