Sciweavers

1148 search results - page 175 / 230
» Representing Data Quality for Streaming and Static Data
Sort
View
MMM
2008
Springer
106views Multimedia» more  MMM 2008»
15 years 11 months ago
Free-Shaped Video Collage
Abstract. With the explosive growth of multimedia data, video presentation has become an important technology for fast browsing of video content. In this paper, we present a novel ...
Bo Yang, Tao Mei, Lifeng Sun, Shi-Qiang Yang, Xian...
ICARCV
2006
IEEE
132views Robotics» more  ICARCV 2006»
15 years 10 months ago
Dynamic Environment Modeling with Gridmap: A Multiple-Object Tracking Application
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
Cheng Chen, Christopher Tay, Christian Laugier, Ka...
SIGCSE
2006
ACM
148views Education» more  SIGCSE 2006»
15 years 10 months ago
Back to basics in CS1 and CS2
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
Stuart Reges
SAT
2005
Springer
133views Hardware» more  SAT 2005»
15 years 10 months ago
Solving Over-Constrained Problems with SAT Technology
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...
Josep Argelich, Felip Manyà
140
Voted
VMCAI
2005
Springer
15 years 10 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes