3719 search results - page 362 / 744 » RACER System Description |
157
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
We are concerned with dependencyoriented morphosyntactic parsing of running text. While a parsing grammar should avoid introducing structurallyunresolvable distinctionsin order to...
156
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
218
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
191
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...