2713 search results - page 257 / 543 » Parameterized Tree Systems |
163
click to vote
METMBS
2004
15 years 8 months ago
2004
In this thesis we compare several machine learning techniques for evaluating external skeletal fixation proposals. We experimented in the context of dog bone fractures but the pot...
166
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
142
click to vote
NIPS
1998
15 years 8 months ago
1998
Fraud causes substantial losses to telecommunication carriers. Detection systems which automatically detect illegal use of the network can be used to alleviate the problem. Previo...
173
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...
177
click to vote
ACL
2009
15 years 4 months ago
2009
Recently, various synchronous grammars are proposed for syntax-based machine translation, e.g. synchronous context-free grammar and synchronous tree (sequence) substitution gramma...