26354 search results - page 5109 / 5271 » How we refactor, and how we know it |
114
click to vote
IFIPTCS
2000
15 years 5 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
134
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
112
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
A fast simulatedannealingalgorithmis developed for automatic object recognition. The object recognition problem is addressed as the problem of best describing a match between a hy...
127
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
110
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
We present a method for searching in an image database using a query image that is similar to the intended target. The query image may be a hand-drawn sketch or a (potentially low...