4224 search results - page 487 / 845 » Reasoning about Choice |
198
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
157
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...
194
Voted
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
166
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...