Sciweavers

1024 search results - page 154 / 205
» Value complete, column complete, predicate complete
Sort
View
CORR
2010
Springer
134views Education» more  CORR 2010»
14 years 12 months ago
Incremental Sampling-based Algorithms for Optimal Motion Planning
During the last decade, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs), have been shown to work well in practice and to po...
Sertac Karaman, Emilio Frazzoli
CORR
2008
Springer
208views Education» more  CORR 2008»
14 years 12 months ago
Equilibria, Fixed Points, and Complexity Classes
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
Mihalis Yannakakis
DB
2008
107views more  DB 2008»
14 years 12 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
CPC
2006
110views more  CPC 2006»
14 years 12 months ago
Bootstrap Percolation on Infinite Trees and Non-Amenable Groups
Abstract. Bootstrap percolation on an arbitrary graph has a random initial configuration, where each vertex is occupied with probability p, independently of each other, and a deter...
József Balogh, Yuval Peres, Gábor Pe...
FS
2006
117views more  FS 2006»
14 years 12 months ago
Consistent Variance Curve Models
We introduce a general approach to model a joint market of stock price and a term structure of variance swaps in an HJM-type framework. In such a model, strongly volatility-depend...
Hans Buehler