Sciweavers

1160 search results - page 97 / 232
» Revisiting the Sequence Constraint
Sort
View
AIPS
2003
15 years 7 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen
IROS
2009
IEEE
189views Robotics» more  IROS 2009»
16 years 1 months ago
Moving object detection by multi-view geometric techniques from a single camera mounted robot
— The ability to detect, and track multiple moving objects like person and other robots, is an important prerequisite for mobile robots working in dynamic indoor environments. We...
Abhijit Kundu, Madhava M. Krishna, Jayanthi Sivasw...
ECOOPW
1997
Springer
15 years 10 months ago
Semantics Through Pictures
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
Stuart Kent, Ali Hamie, John Howse, Franco Civello...
BMCBI
2010
183views more  BMCBI 2010»
15 years 6 months ago
SOPRA: Scaffolding algorithm for paired reads via statistical optimization
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
Adel Dayarian, Todd P. Michael, Anirvan M. Sengupt...
ICPR
2002
IEEE
16 years 7 months ago
Quantitative Color Optical Flow
We perform a qualitative and quantitative analysis of various multi-framecolor optical flow methods for synthetic and real panning and zooming image sequences. We show that optica...
John L. Barron, Reinhard Klette