Sciweavers

10907 search results - page 1892 / 2182
» Constraint Based Strategies
Sort
View
DMSN
2007
ACM
15 years 10 months ago
A graph-based approach to vehicle tracking in traffic camera video streams
Vehicle tracking has a wide variety of applications, from law enforcement to traffic planning and public safety. However, the image resolution of the videos available from most tr...
Hamid Haidarian Shahri, Galileo Namata, Saket Navl...
COCO
2010
Springer
133views Algorithms» more  COCO 2010»
15 years 10 months ago
Spectral Algorithms for Unique Games
We present a new algorithm for Unique Games which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programmi...
Alexandra Kolla
ESOP
2007
Springer
15 years 10 months ago
Type Reconstruction for General Refinement Types
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
Kenneth W. Knowles, Cormac Flanagan
FIMH
2007
Springer
15 years 10 months ago
Constrained Reconstruction of Sparse Cardiac MR DTI Data
Magnetic resonance diffusion tensor imaging (DTI) has emerged as a convenient and reliable alternative to conventional histology for characterizing the fiber structure of the myoca...
Ganesh Adluru, Edward Hsu, Edward V. R. Di Bella
FSEN
2007
Springer
15 years 10 months ago
Test Selection Criteria for Quantifier-Free First-Order Specifications
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
Marc Aiguier, Agnès Arnould, Pascale Le Gal...
« Prev « First page 1892 / 2182 Last » Next »