3690 search results - page 366 / 738 » Computation with classical sequents |
171
click to vote
NIPS
2003
15 years 8 months ago
2003
We consider the question of predicting nonlinear time series. Kernel Dynamical Modeling (KDM), a new method based on kernels, is proposed as an extension to linear dynamical model...
170
click to vote
FORTE
1998
15 years 8 months ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
149
click to vote
IWFM
1998
15 years 8 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
151
click to vote
ICEC
1994
15 years 8 months ago
1994
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
168
click to vote
COLING
1992
15 years 8 months ago
1992
-- To date, no fully suitable data model for lexical databases has been proposed. As lexical databases have proliferated in multiple formats, there has been growing concern over th...