144
click to vote
LATIN
15 years 7 months ago
2004 Springer 
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
142
click to vote
LATIN
15 years 7 months ago
2004 Springer 
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
138
click to vote
LATIN
15 years 7 months ago
2004 Springer 
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
127
click to vote
LATIN
15 years 7 months ago
2004 Springer 
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
125
Voted
LATIN
15 years 7 months ago
2004 Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
|
Information Technology