Sciweavers

4539 search results - page 431 / 908
» Approaches to Compute Workflow Complexity
Sort
View
CVPR
2006
IEEE
16 years 27 days ago
Particle Video: Long-Range Motion Estimation using Point Trajectories
This paper describes a new approach to motion estimation in video. We represent video motion using a set of particles. Each particle is an image point sample with a longduration t...
Peter Sand, Seth J. Teller
DSN
2006
IEEE
16 years 27 days ago
Randomized Intrusion-Tolerant Asynchronous Services
Randomized agreement protocols have been around for more than two decades. Often assumed to be inefficient due to their high expected communication and time complexities, they ha...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
ACMSE
2006
ACM
16 years 24 days ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
SAC
2006
ACM
16 years 24 days ago
Simplifying transformation of software architecture constraints
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signi...
Chouki Tibermacine, Régis Fleurquin, Salah ...
SIGCSE
2006
ACM
128views Education» more  SIGCSE 2006»
16 years 24 days ago
Turning automata theory into a hands-on course
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
Susan H. Rodger, Bart Bressler, Thomas Finley, Ste...