1336 search results - page 178 / 268 » An approach to stopping problems of a dynamic fuzzy system |
115
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
102
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
110
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
119
Voted
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
In processors with several levels of hardware resource sharing, like CMPs in which each core is an SMT, the scheduling process becomes more complex than in processors with a singl...
133
click to vote
SKG
2006
IEEE
15 years 7 months ago
2006
IEEE
The Grid provides mechanisms to share dynamic, heterogeneous, distributed resources spanned across multiple administrative domains. Resources required to execute a job are identif...