8337 search results - page 235 / 1668 » Reasoning With Characteristic Models |
148
click to vote
UAI
1989
15 years 7 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
173
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
159
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...
141
click to vote
CHARME
1993
Springer
15 years 10 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
136
click to vote
AAAI
2004
15 years 7 months ago
2004
The General Motors Variation-Reduction Adviser is a knowledge system built on case-based reasoning principles that is currently in use in a dozen General Motors Assembly Centers. ...