3690 search results - page 330 / 738 » Computation with classical sequents |
123
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
Color quantization is an important operation with many applications in graphics and image processing. Most quantization methods are essentially based on data clustering algorithms...
149
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
147
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
We introduce cube summing, a technique that permits dynamic programming algorithms for summing over structures (like the forward and inside algorithms) to be extended with non-loc...
151
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
The problem of finding a local minimum of a black-box function is central for understanding local search as well as quantum adiabatic algorithms. For functions on the Boolean hype...
158
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...