Sciweavers

83 search results - page 10 / 17
» Directive words of episturmian words: equivalences and norma...
Sort
View
MLQ
2000
99views more  MLQ 2000»
13 years 7 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst
HAPTICS
2010
IEEE
14 years 19 days ago
Causality Inversion in the Reproduction of Roughness
When a finger scans a non-smooth surface, a sensation of roughness is experienced. A similar sensation is felt when a finger is in contact with a mobile surface vibrating in the ...
Michael Wiertlewski, José Lozada, Edwige Pi...
ENTCS
2006
118views more  ENTCS 2006»
13 years 7 months ago
An Operational Domain-theoretic Treatment of Recursive Types
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
Weng Kin Ho
DCC
2010
IEEE
14 years 2 months ago
A New Searchable Variable-to-Variable Compressor
Word-based compression over natural language text has shown to be a good choice to trade compression ratio and speed, obtaining compression ratios close to 30% and very fast decom...
Nieves R. Brisaboa, Antonio Fariña, Juan-Ra...
NIPS
2003
13 years 9 months ago
Unsupervised Context Sensitive Language Acquisition from a Large Corpus
We describe a pattern acquisition algorithm that learns, in an unsupervised fashion, a streamlined representation of linguistic structures from a plain natural-language corpus. Th...
Zach Solan, David Horn, Eytan Ruppin, Shimon Edelm...