8780 search results - page 1474 / 1756 » On the Feasibility of Consistent Computations |
163
click to vote
WSC
2000
15 years 8 months ago
2000
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
186
click to vote
WSC
1997
15 years 8 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
139
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper describes an extension to the constraint satisfaction problem (CSP) approach called MUSE CSP (Multiply SEgmented Constraint Satisfaction Problem). This extension is esp...
153
click to vote
IJCAI
1993
15 years 8 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
175
click to vote
SPIESR
1996
15 years 8 months ago
1996
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...