4983 search results - page 95 / 997 » order 2008 |
COLING
1996
13 years 11 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...
ISMVL
2008
IEEE
14 years 4 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...
CDC
2008
IEEE
14 years 4 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...
ITA
2008
13 years 10 months 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...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.