1895 search results - page 243 / 379 » Modular Functional Descriptions |
185
click to vote
SISAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an image retrieval system based on a combined search of text and content. The idea is to use the text present in title, description, and tags of the images for improv...
127
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
164
click to vote
CCA
2009
Springer
16 years 28 days ago
2009
Springer
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
158
click to vote
ECSQARU
2009
Springer
16 years 28 days ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
169
click to vote
ISSAC
2009
Springer
16 years 27 days ago
2009
Springer
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...