Sciweavers

2536 search results - page 223 / 508
» Constructing Optimal Highways
Sort
View
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 4 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 4 months ago
Threshold-Controlled Global Cascading in Wireless Sensor Networks
Abstract-- We investigate cascade dynamics in thresholdcontrolled (multiplex) propagation on random geometric networks. We find that such local dynamics can serve as an efficient, ...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
125
Voted
IJCV
2006
120views more  IJCV 2006»
15 years 4 months ago
Contour Inferences for Image Understanding
We present a new approach to the algorithmic study of planar curves, with applications to estimations of contours in images. We construct spaces of curves satisfying constraints su...
Washington Mio, Anuj Srivastava, Xiuwen Liu
138
Voted
JSAT
2008
79views more  JSAT 2008»
15 years 4 months ago
An Extended Semidefinite Relaxation for Satisfiability
This paper proposes a new semidefinite programming relaxation for the satisfiability problem. This relaxation is an extension of previous relaxations arising from the paradigm of ...
Miguel F. Anjos
116
Voted
TCS
2008
15 years 4 months ago
Dense open-shop schedules with release times
We study open-shop scheduling problems with job release times. The objective is to minimize the makespan. Dense schedules, easy to construct, are often used as approximate solutio...
Rongjun Chen, Wanzhen Huang, Guochun Tang