3573 search results - page 353 / 715 » Reasoning about Codata |
200
Voted
EASSS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
153
click to vote
HYBRID
2001
Springer
15 years 9 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...
126
Voted
EUROMICRO
2000
IEEE
15 years 9 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...
118
Voted
IUI
2000
ACM
15 years 9 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...
153
click to vote
ECCV
2010
Springer
15 years 9 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...