13383 search results - page 2425 / 2677 » Abstractions from proofs |
125
click to vote
WSC
2000
15 years 2 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
101
Voted
AAAI
1994
15 years 2 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
ANLP
1994
15 years 2 months ago
1994
The use of NLP techniques for document classification has not produced significant improvements in performance within the standard term weighting statistical assignment paradigm (...
115
click to vote
DPC
1996
15 years 2 months ago
1996
Retrieving images from very large collections, using image content as a key, is becoming an important problem. Users prefer to ask for pictures using notions of content that are st...
118
click to vote
MVA
1990
15 years 2 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...