7335 search results - page 1027 / 1467 » Scene Based Reasoning |
170
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
199
click to vote
ALT
1994
Springer
15 years 11 months ago
1994
Springer
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...
160
click to vote
EDCC
1994
Springer
15 years 11 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
222
click to vote
ISKI
1994
15 years 11 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
179
click to vote
SAS
1993
Springer
15 years 11 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...