1842 search results - page 161 / 369 » Measurement theory in linguistics |
106
Voted
SOFSEM
2009
Springer
15 years 5 months ago
2009
Springer
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
120
Voted
RECOMB
2000
Springer
15 years 4 months ago
2000
Springer
We present a lossless compression algorithm, GenCompress, for genetic sequences, based on searching for approximate repeats. Our algorithm achieves the best compression ratios for...
126
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
103
Voted
ICAI
2003
15 years 2 months ago
2003
Children will develop their parental languages correctly, since language learners come to obtain the one which they contact most in the community. At the same time, children would ...
110
click to vote
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...