549 search results - page 30 / 110 » formats 2010 |
81
Voted
LREC
2010
15 years 1 months ago
2010
This paper presents a system for querying treebanks in a uniform way. The system is able to work with both dependency and constituency based treebanks in any language. We demonstr...
100
click to vote
DGO
2010
15 years 1 months ago
2010
We address the problem of publishing parliamentary proceedings in a digital sustainable manner. We give an extensive requirements analysis, and based on that propose a uniform XML...
113
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
98
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
98
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...