492 search results - page 71 / 99 » Applying Property Testing to an Image Partitioning Problem |
ICDT
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
DCC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
109
click to vote
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We define the concept of dependence among multiple variables using maximum entropy techniques and introduce a graphical notation to denote the dependencies. Direct inference of in...
108
click to vote
BMEI
2009
IEEE
14 years 10 months ago
2009
IEEE
Non-stationarity is often found in session-to-session transfers of Brain Computer Interfaces (BCIs). To cope with the problem, a framework based on Common Spatial Patterns (CSP), ...