Sciweavers

2736 search results - page 44 / 548
» Implementable allocation rules
Sort
View
115
Voted
FLAIRS
2007
15 years 4 months ago
The Design and Implementation of a Successful General Game Playing Agent
General Game Playing is the problem of designing an agent capable of playing any previously unknown game when given only the rules. This paper describes the implementation archite...
David M. Kaiser
FUIN
2010
156views more  FUIN 2010»
15 years 27 days ago
A Tutorial Implementation of a Dependently Typed Lambda Calculus
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
Andres Löh, Conor McBride, Wouter Swierstra
DEDUCTIVE
1993
140views Database» more  DEDUCTIVE 1993»
15 years 3 months ago
AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
Günther Specht, Burkhard Freitag
PARA
2000
Springer
15 years 5 months ago
GRISK: An Internet Based Search for K-Optimal Lattice Rules
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
Tor Sørevik, Jan Frode Myklebust
144
Voted
ICGI
1994
Springer
15 years 6 months ago
Computer Assisted Grammar Construction
: This paper proposes a new inference approach for Chinese probabilistic context-free grammar, which implements the EM algorithm based on the bracket matching schemes. By utilizing...
S. J. Young, H.-H. Shih