8766 search results - page 1284 / 1754 » Functional logic programming |
145
Voted
SFP
2001
15 years 6 months ago
2001
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
148
click to vote
WSC
2004
15 years 6 months ago
2004
This paper demonstrates the utilization of immersive virtual reality environments in the investigation of operations simulation results. The authors outline the benefits offered b...
145
Voted
SFP
2000
15 years 6 months ago
2000
Abstract: Parallel heuristic search algorithms are widely used in artificial intelligence. This paper describes novel parallel variants of two standard sequential search algorithms...
175
click to vote
ACL
1996
15 years 6 months ago
1996
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...
120
click to vote
UAI
1996
15 years 6 months ago
1996
Probabilistic inference algorithms for belief updating, nding the most probable explanation, the maximum a posteriori hypothesis, and the maximum expected utility are reformulated...