396 search results - page 65 / 80 » Combining decision procedures for the reals |
115
click to vote
IAJIT
2010
15 years 22 hour ago
2010
: The coding gain of the H.264/AVC video encoder mainly comes from the new incorporated prediction tools. However, their enormous computation and ultrahigh memory bandwidth are the...
PAMI
2010
14 years 12 months ago
2010
—In partitioning, clustering, and grouping problems, a typical goal is to group together similar objects, or pixels in the case of image processing. At the same time, another goa...
102
click to vote
DSRT
2009
IEEE
14 years 11 months ago
2009
IEEE
Computer simulation is an important factor in today's disaster prevention procedures. Simulation codes assess the evolution and impact of various physical phenomena in domains...
138
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...
149
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
We propose an adaptive multiresolution (MR) approach to the classification of fingerprint images. The system adds MR decomposition in front of a generic classifier consisting of f...