Sciweavers

3373 search results - page 550 / 675
» Linear transformations on codes
Sort
View
BIRTHDAY
2007
Springer
15 years 2 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
CIDM
2007
IEEE
15 years 2 months ago
Mining the Students' Learning Interest in Browsing Web-Streaming Lectures
Web-Streaming lectures overcome the space and time barriers between learning and teaching, but bring higher requirements on the learning feedback of students when they browse lectu...
Long Wang 0002, Christoph Meinel
ACIVS
2006
Springer
15 years 1 months ago
Constrained Region-Growing and Edge Enhancement Towards Automated Semantic Video Object Segmentation
Most existing object segmentation algorithms suffer from a so-called under-segmentation problem, where parts of the segmented object are missing and holes often occur inside the ob...
L. Gao, J. Jiang, S. Y. Yang
ECCV
2006
Springer
15 years 1 months ago
Using a Connected Filter for Structure Estimation in Perspective Systems
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
Fredrik Nyberg, Ola Dahl, Jan Holst, Anders Heyden
FOSSACS
2006
Springer
15 years 1 months ago
Register Allocation After Classical SSA Elimination is NP-Complete
Chaitin proved that register allocation is equivalent to graph coloring and hence NP-complete. Recently, Bouchez, Brisk, and Hack have proved independently that the interference gr...
Fernando Magno Quintão Pereira, Jens Palsbe...