469 search results - page 57 / 94 » A Modal Analysis of Staged Computation |
BMCBI
2010
13 years 7 months ago
2010
Background: Solving bioinformatics tasks often requires extensive computational power. Recent trends in processor architecture combine multiple cores into a single chip to improve...
ICIAR
2009
Springer
14 years 2 months ago
2009
Springer
Image fusion is the task of enhancing the perception of a scene by combining information captured by different imaging sensors. A critical issue in the design of image fusion algo...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
ASSETS
2006
ACM
14 years 1 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...