15660 search results - page 288 / 3132 » The Unbalance of Set Systems |
162
Voted
ANLP
1997
15 years 8 months ago
1997
This paper describes SMES, an information extraction core system for real world German text processing. The basic design criterion of the system is of providing a set of basic pow...
130
Voted
COLING
1992
15 years 8 months ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
170
Voted
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
167
Voted
ACTA
2007
15 years 7 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
153
click to vote
ENTCS
2008
15 years 7 months ago
2008
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...