438 search results - page 43 / 88 » On Perfect Switching Classes |
AUTOMATICA
2004
13 years 8 months ago
2004
This paper addresses the optimal control problem of the continuous-time piecewise affine (PWA) systems with autonomous switching executed at each sampling time, which we call sampl...
TPLP
2002
13 years 8 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
FOCS
2009
IEEE
14 years 3 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
LICS
1993
IEEE
14 years 25 days ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
JMIV
2008
13 years 8 months ago
2008
Region merging methods consist of improving an initial segmentation by merging some pairs of neighboring regions. In this paper, we consider a segmentation as a set of connected r...