4600 search results - page 235 / 920 » Presentation Of The Eurolang Project |
196
click to vote
ECEASST
2010
15 years 2 months ago
2010
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
226
click to vote
JMLR
2010
15 years 2 months ago
2010
An algorithm is presented for topology selection in graphical models of autoregressive Gaussian time series. The graph topology of the model represents the sparsity pattern of the...
192
click to vote
NDJFL
2010
15 years 2 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
138
click to vote
SIAMDM
2010
15 years 2 months ago
2010
We first present an equivalent definition of relative generalized Hamming weights of a linear code and its subcodes, and we develop a method using finite projective geometry. Makin...
312
click to vote
KIVS
2011
Springer
14 years 10 months ago
2011
Springer
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...