7109 search results - page 1194 / 1422 » Process Algebra with Combinators |
156
click to vote
AAAI
1996
15 years 8 months ago
1996
If a state space is not completely known in advance, then search algorithms have to explore it sufficiently to locate a goal state and a path leading to it, performing therefore w...
187
click to vote
AAAI
1996
15 years 8 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...
154
click to vote
ACL
1996
15 years 8 months ago
1996
This paper describes an accurate and robust text alignment system for structurally different languages. Among structurally different languages such as Japanese and English, there ...
222
click to vote
CASCON
1996
15 years 8 months ago
1996
Monitoring distributed systems involves the collection, analysis, and display of interactions among managed objects. These functions are carried out by the components of a monitor...
164
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
Traditional le system implementations do not allow applications to control le caching replacement decisions. We have implemented two-level replacement, a scheme that allows appl...