3335 search results - page 418 / 667 » Grid result checking |
178
click to vote
AAAI
1996
15 years 8 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
168
click to vote
FTCS
1994
15 years 7 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
181
click to vote
IJCAI
1993
15 years 7 months ago
1993
In this paper we present an average-case analysis of the nearest neighbor algorithm, a simple induction method that has been studied by manyresearchers. Our analysis assumes a con...
124
click to vote
IJCAI
1989
15 years 7 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
140
click to vote
MVA
1992
15 years 7 months ago
1992
This paper describes the general structure of a full automated document analysis system for printed documents. The system is based on a character preclassification stage which red...