Sciweavers

716 search results - page 32 / 144
» Semilinear Program Feasibility
Sort
View
152
Voted
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
14 years 10 months ago
Online Convex Programming and regularization in adaptive control
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
Maxim Raginsky, Alexander Rakhlin, Serdar Yük...
147
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 10 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
103
Voted
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
15 years 10 months ago
A Program of Study of the Use of Stories in DSS
Storytelling is an innate human characteristic. Stories are used to manage meaning, control behavior, and facilitate identification and bonding [9]. The theory of identification a...
David B. Paradice
101
Voted
QUATIC
2007
IEEE
15 years 10 months ago
A Nationwide Program for Software Process Improvement in Brazil
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
Ana Regina Cavalcanti da Rocha, Mariano Montoni, K...
121
Voted
WAC
2005
Springer
118views Communications» more  WAC 2005»
15 years 9 months ago
Experiments on the Automatic Evolution of Protocols Using Genetic Programming
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
Lidia Yamamoto, Christian F. Tschudin