4983 search results - page 95 / 997 » order 2008 |
80
Voted
COLING
1996
15 years 2 months ago
1996
In this paper we present a GB-parsing system for German and in particular the system's strategy for argument interpretation, which copes with the difficulty that word order i...
89
Voted
ISMVL
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate a class of metrics on lattices that are compatible with the partial order defined by the lattice using the ternary relation of betweenness that can be naturally de...
112
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper a strong Lyapunov function is obtained, for the first time, for the supertwisting algorithm, an important class of second order sliding modes (SOSM). This algori...
99
Voted
ITA
2008
15 years 22 days ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...
88
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.