9067 search results - page 1555 / 1814 » Adaptive Model Checking |
226
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
204
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
190
click to vote
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
249
Voted
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
169
click to vote
ADHOC
2007
15 years 7 months ago
2007
— In this paper, we address a fundamental problem concerning the optimal searching strategy in terms of searching cost for the target discovery problem in wireless networks. In o...