4211 search results - page 571 / 843 » Types as Abstract Interpretations |
156
click to vote
SETA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Merit factor of a binary sequence is reviewed, and constructions are described that appear to satisfy an asymptotic merit factor of 6.3421 . . . Multivariate merit factor...
160
click to vote
SETN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the capabilities offered by MultiAgent System technology in the operation of a Microgrid. A Microgrid is a new type of power system, which is formed b...
150
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
172
click to vote
TIDSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents Textable Movie, an open-ended interface that allows anyone to become "video-jockey." In the framework of computational storytelling, Textabl...
176
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...