1722 search results - page 133 / 345 » Dedication |
127
Voted
MDAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Most existing data mining (DM) approaches look for patterns in a single table. Multi-relational DM approaches, on the other hand, look for patterns that involve multiple ...
136
click to vote
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
141
Voted
CP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
133
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Conventional stereoscopic video content production requires use of dedicated stereo camera rigs which is both costly and lacking video editing flexibility. In this paper, we propo...
225
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...