1423 search results - page 109 / 285 » Languages of Nested Trees |
95
Voted
JOLLI
2008
15 years 3 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
132
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...
195
Voted
CONPAR
1994
15 years 7 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
112
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
137
Voted
JALC
2007
15 years 3 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...