Sciweavers

5164 search results - page 248 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
ACIVS
2007
Springer
15 years 10 months ago
Joint Tracking and Segmentation of Objects Using Graph Cuts
This paper presents a new method to both track and segment objects in videos. It includes predictions and observations inside an energy function that is minimized with graph cuts. ...
Aurélie Bugeau, Patrick Pérez
VMCAI
2007
Springer
15 years 10 months ago
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
Sigmund Cherem, Radu Rugina
ICMCS
2006
IEEE
102views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Dynamic Rate Control for JPEG 2000 Transcoding
This paper describes a rate control algorithm for a streaming video system that dynamically transcodes stored JPEG 2000 frames. The proposed algorithm is designed to improve overa...
Derek L. Schwenke, Anthony Vetro, Toshihiko Hata, ...
ICMCS
2005
IEEE
90views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Area of surface as a basis for vertex removal based mesh simplification
A new, area-based mesh simplification algorithm is described. The proposed algorithm removes the center vertex of a polygon which consists of n ≥ 3 faces and represents that po...
Insu Park, Shahram Shirani, David W. Capson
124
Voted
ISCIS
2005
Springer
15 years 10 months ago
An Investigation of the Course-Section Assignment Problem
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
Zeki Bayram