Sciweavers

1814 search results - page 194 / 363
» Watermarking relational data: framework, algorithms and anal...
Sort
View
ACIVS
2005
Springer
15 years 11 months ago
Identification of Intestinal Motility Events of Capsule Endoscopy Video Analysis
Abstract. Purpose: To develop a system for assisting the analysis of capsuleendoscopy (CE) video data and identifying sequences of frames related to small intestine motility. Mater...
Panagiota Spyridonos, Fernando Vilariño, Jo...
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 10 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
CVPR
2007
IEEE
16 years 8 months ago
Filtered Component Analysis to Increase Robustness to Local Minima in Appearance Models
Appearance Models (AM) are commonly used to model appearance and shape variation of objects in images. In particular, they have proven useful to detection, tracking, and synthesis...
Fernando De la Torre, Alvaro Collet, Manuel Quero,...
POPL
2003
ACM
16 years 6 months ago
Selective memoization
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
Umut A. Acar, Guy E. Blelloch, Robert Harper
ICPR
2008
IEEE
16 years 7 months ago
Collaborate ball and player trajectory extraction in broadcast soccer video
Enormous accessible broadcast soccer videos demand an efficient ball and player trajectory extraction framework to represent the tactic semantics for the automatic analysis. Camer...
Yi Zhang, Hanqing Lu, Changsheng Xu