Sciweavers

13734 search results - page 2412 / 2747
» Abstractions of data types
Sort
View
PVM
2005
Springer
16 years 3 days ago
Collective Error Detection for MPI Collective Operations
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...
Christopher Falzone, Anthony Chan, Ewing L. Lusk, ...
RSFDGRC
2005
Springer
190views Data Mining» more  RSFDGRC 2005»
16 years 3 days ago
Finding Rough Set Reducts with SAT
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...
Richard Jensen, Qiang Shen, Andrew Tuson
SAT
2005
Springer
133views Hardware» more  SAT 2005»
16 years 3 days ago
Solving Over-Constrained Problems with SAT Technology
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...
Josep Argelich, Felip Manyà
SCIA
2005
Springer
16 years 3 days ago
A Memory Architecture and Contextual Reasoning Framework for Cognitive Vision
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...
Josef Kittler, William J. Christmas, Alexey Kostin...
SLSFS
2005
Springer
16 years 3 days ago
Incorporating Constraints and Prior Knowledge into Factorization Algorithms - An Application to 3D Recovery
Abstract. Matrix factorization is a fundamental building block in many computer vision and machine learning algorithms. In this work we focus on the problem of ”structure from mo...
Amit Gruber, Yair Weiss
« Prev « First page 2412 / 2747 Last » Next »