Sciweavers

8780 search results - page 327 / 1756
» On the Feasibility of Consistent Computations
Sort
View
ICIP
2009
IEEE
15 years 5 months ago
Distant face recognition based on sparse-stereo reconstruction
We introduce a framework for face recognition at a distance based on sparse-stereo reconstruction. We develop a 3D acquisition system that consists of two CCD stereo cameras mount...
Ham M. Rara, Shireen Y. Elhabian, Asem M. Ali, Mik...
ICSE
2009
IEEE-ACM
15 years 5 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...
ESWA
2010
105views more  ESWA 2010»
15 years 4 months ago
A numerical comparison between simulated annealing and evolutionary approaches to the cell formation problem
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
Andres Pailla, Athila R. Trindade, Victor Parada, ...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
15 years 2 months ago
Integrated dynamic optimization and control in reservoir engineering using locally identified linear models
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
Gijs van Essen, Amin Rezapour, Paul M. J. Van den ...
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 2 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...