8825 search results - page 58 / 1765 » All for one or one for all |
ITA
2002
13 years 7 months ago
2002
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
COLT
1992
Springer
13 years 11 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
EOR
2007
13 years 7 months ago
2007
We study a leader follower game with two players: a terrorist and a state where the later one installs facilities that provide support in case of a terrorist attack. While the Ter...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Most digital cameras use filter arrays to sample red, green, and blue according to the Bayer pattern or similar ones. At each pixel only one color sample is taken and the values o...