3044 search results - page 402 / 609 » Linear logical approximations |
170
click to vote
3DPVT
2006
IEEE
16 years 10 days ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
223
click to vote
SMI
2006
IEEE
16 years 8 days ago
2006
IEEE
We discuss a shape representation based on a set of disconnected (planar) polygons. The polygons are computed by creating a BSP that contains approximately linear surface patches ...
158
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
160
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
125
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a nonlinear programming solution to one of the most challenging problems in trajectory optimization. Unlike most aerospace trajectory optimization problems...