Sciweavers

1984 search results - page 327 / 397
» The colourful feasibility problem
Sort
View
191
Voted
CDC
2010
IEEE
166views Control Systems» more  CDC 2010»
15 years 10 days ago
A numerical method for the optimal control of switched systems
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
Humberto González, Ramanarayan Vasudevan, M...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
15 years 10 days 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 8 days 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...
PAMI
2011
15 years 8 days ago
Multiple Kernel Learning for Dimensionality Reduction
—In solving complex visual learning tasks, adopting multiple descriptors to more precisely characterize the data has been a feasible way for improving performance. The resulting ...
Yen-Yu Lin, Tyng-Luh Liu, Chiou-Shann Fuh
PVLDB
2011
15 years 8 days ago
Personalized Social Recommendations - Accurate or Private?
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...
Ashwin Machanavajjhala, Aleksandra Korolova, Atish...