407 search results - page 29 / 82 » Malleable Proof Systems and Applications |
111
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
126
click to vote
ENTCS
2008
15 years 1 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
137
click to vote
ICWE
2010
Springer
15 years 10 days ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
159
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
135
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...