Sciweavers

10493 search results - page 143 / 2099
» Dynamic Word Problems
Sort
View
WINE
2009
Springer
179views Economy» more  WINE 2009»
14 years 2 months ago
Betting on the Real Line
We study the problem of designing prediction markets for random variables with continuous or countably infinite outcomes on the real line. Our interval betting languages allow tra...
Xi Gao, Yiling Chen, David M. Pennock
DBSEC
2008
137views Database» more  DBSEC 2008»
13 years 9 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
13 years 8 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
SIAMAM
2002
72views more  SIAMAM 2002»
13 years 7 months ago
Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results
Many practically relevant polymers undergoing desorption change from the rubbery (saturated) to the glassy (nearly dry) state. The dynamics of such systems cannot be described by t...
David A. Edwards, Richard A. Cairncross
PC
2007
141views Management» more  PC 2007»
13 years 7 months ago
Physically based simulation of cloth on distributed memory architectures
Physically based simulation of cloth in virtual environments is a computationally demanding problem. It involves modeling the internal material properties of the textile (physical...
Bernhard Thomaszewski, Wolfgang Blochinger