1140 search results - page 168 / 228 » Progress on Certifying Algorithms |
3DPVT
2004
IEEE
14 years 1 months ago
2004
IEEE
With the increasing number of image communication applications especially in the low complexity domain, error concealment has become a very important field of research. Since many...
AHS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
Achieving interactive performance in cloth animation has significant implications in computer games and other interactive graphics applications. Although much progress has been m...
CINQ
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, it is e...
CP
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...