4814 search results - page 586 / 963 » Combining abstract interpreters |
213
click to vote
CAIP
2003
Springer
16 years 14 hour ago
2003
Springer
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
158
click to vote
CC
2003
Springer
16 years 13 hour ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
155
Voted
CLEF
2003
Springer
16 years 12 hour ago
2003
Springer
Abstract. We investigates the effectiveness of language-dependent approaches to document retrieval, such as stemming and decompounding, and constrast them with language-independen...
171
click to vote
CSL
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
142
click to vote
DSVIS
2003
Springer
16 years 8 hour ago
2003
Springer
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...