8009 search results - page 1243 / 1602 » cans 2005 |
197
click to vote
SARA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
184
click to vote
SAS
2005
Springer
16 years 1 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
188
click to vote
SAT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
218
click to vote
SCALESPACE
2005
Springer
16 years 1 months ago
2005
Springer
Image reconstruction from a fiducial collection of scale space interest points and attributes (e.g. in terms of image derivatives) can be used to make the amount of information co...
202
click to vote
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
—Color demosaicking is critical to the image quality of digital still and video cameras that use a single-sensor array. Limited by the mosaic sampling pattern of the color filte...