15416 search results - page 2732 / 3084 » Embeddings of Computable Structures |
185
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
160
click to vote
METRICS
1998
IEEE
15 years 11 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
205
Voted
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper discusses techniques for visualizing structure in video data and other data sets that represent time snapshots of physical phenomena. Individual frames of a movie are t...
218
Voted
PODS
1998
ACM
15 years 11 months ago
1998
ACM
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
172
Voted
FASE
1998
Springer
15 years 11 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...