Sciweavers

2477 search results - page 326 / 496
» Approximate extended formulations
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Modeling and Estimating Persistent Motion with Geometric Flows
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
Dahua Lin, Eric Grimson, John Fisher
HYBRID
2010
Springer
15 years 11 months ago
On a control algorithm for time-varying processor availability
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
Vijay Gupta
HICSS
2009
IEEE
99views Biometrics» more  HICSS 2009»
15 years 11 months ago
Local-Global: Reconciling Mismatched Ontologies in Development Information Systems
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
Jessica Seddon Wallack, Ramesh Srinivasan
POPL
2009
ACM
15 years 11 months ago
Speculative N-Way barriers
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, ...
CEC
2009
IEEE
15 years 11 months ago
An evaluation of Differential Evolution in software test data generation
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...
Ricardo Landa Becerra, Ramón Sagarna, Xin Y...