10412 search results - page 2019 / 2083 » The efficiency of algorithms - misconceptions |
LICS
1994
IEEE
14 years 25 days ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
AMOST
2007
ACM
14 years 22 days ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
APGV
2007
ACM
14 years 22 days ago
2007
ACM
We present a novel perceptual method to reduce the visual redundancy of unstructured lumigraphs, an image based representation designed for interactive rendering. We combine featu...
CIKM
2007
Springer
14 years 21 days ago
2007
Springer
Hidden markov model (HMM) is frequently used for Pinyin-toChinese conversion. But it only captures the dependency with the preceding character. Higher order markov models can brin...
MIR
2010
ACM
14 years 20 days ago
2010
ACM
Mobile devices are increasingly powerful in media storage and rendering. The prevalent request of decent video browsing on mobile devices is demanding. However, one limitation com...