Search Sciweavers | Sciweavers

12015 search results - page 41 / 2403

» Interactive Algorithms 2005

click to vote

LPAR
2005
Springer

75views Automated Reasoning» more LPAR 2005»

Integration of a Software Model Checker into Isabelle

14 years 2 months ago

Download www-wjp.cs.uni-saarland.de

Abstract. The paper presents a combination of interactive and automatic tools in the area of software veriﬁcation. We have integrated a newly developed software model checker int...

Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...

claim paper

Read More »

click to vote

AVSS
2005
IEEE

137views Signal Processing» more AVSS 2005»

VidMAP: video monitoring of activity with Prolog

14 years 2 months ago

Download www.umiacs.umd.edu

This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...

Vinay D. Shet, David Harwood, Larry S. Davis

claim paper

Read More »

click to vote

MUM
2005
ACM

107views Multimedia» more MUM 2005»

Retargeting vector animation for small displays

14 years 2 months ago

Download www.thegooch.org

We present a method that preserves the recognizability of key object interactions in a vector animation. The method allows an artist to author an animation once, and then output i...

Vidya Setlur, Yingqing Xu, Xuejin Chen, Bruce Gooc...

claim paper

Read More »

click to vote

ICDE
2005
IEEE

106views Database» more ICDE 2005»

Mining Cross-Graph Quasi-Cliques in Gene Expression and Protein Interaction Data

14 years 10 months ago