1047 search results - page 83 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
168
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
126
click to vote
ADHOC
2010
15 years 1 months ago
2010
Abstract-- The efficiency of a communication network depends not only on its control protocols, but also on the underlying network topology. We propose a distributed topology manag...
TCSV
2002
15 years 1 months ago
2002
Abstract--In this paper, we describe an object-based video compression scheme based on the derivation and efficient coding of motion boundaries. First, we recursively identify a sm...
JPDC
2008
15 years 1 months ago
2008
Two parallel block tridiagonalization algorithms and implementations for dense real symmetric matrices are presented. Block tridiagonalization is a critical pre-processing step for...
122
click to vote
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...