2136 search results - page 177 / 428 » Learning Behavior Models for Hybrid Timed Systems |
163
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
142
click to vote
CE
2008
15 years 3 months ago
2008
Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learn...
136
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
144
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
109
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
"Improv Puppets'' is an interaction paradigm modeled after traditional puppet play. With physical puppets, children move their puppets' bodies and speak their ...