2436 search results - page 138 / 488 » Comonadic Notions of Computation |
141
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
147
click to vote
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
We present a method for figure-ground segregation of moving objects from monocular video sequences. The approach is based on tracking extracted contour fragments, in contrast to ...
137
click to vote
STACS
2004
Springer
15 years 9 months ago
2004
Springer
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
135
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...
127
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...