3082 search results - page 175 / 617 » New Bounds for the Controller Problem |
159
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we study strategies in incremental planning for ordering and grouping subproblems partitioned by the subgoals of a planning problem when each subproblem is solved b...
148
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
134
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
152
click to vote
MVA
2007
15 years 6 months ago
2007
This paper presents a new approach to extracting and representing structural features of images. The approach is based on both a region-based analysis and a contour-based analysis...
136
Voted
WAOA
2004
Springer
15 years 10 months ago
2004
Springer
In competitive analysis, we usually do not put any restrictions on the computational complexity of online algorithms, although efficient algorithms are preferred. Thus if such an...