762 search results - page 32 / 153 » Conditionally correct superoptimization |
AIPS
2011
13 years 1 months ago
2011
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
CVPR
2012
IEEE
12 years 17 days ago
2012
IEEE
Image based relighting techniques are a popular choice for generating photo-realistic images of objects under any lighting condition. A typical process for creating such a model i...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
A new adaptive UEP_BTC_STBC scheme is proposed to guarantee the robust video transmission according to the channel conditions. This scheme enhanced STBC (space- time block coding)...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...