4693 search results - page 154 / 939 » Verifying Hybrid Systems |
127
click to vote
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
PET
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Three main methods of content blocking are used on the Internet: blocking routes to particular IP addresses, blocking specific URLs in a proxy cache or firewall, and pr...
132
click to vote
EMSOFT
2011
Springer
14 years 27 days 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...
131
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes our study into the concept of using rewards in a classifier system applied to the acquisition of decision-making algorithms for agents in a soccer game. Our a...
119
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...