3765 search results - page 543 / 753 » Formal Methods for Systems Engineering Behavior Models |
174
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
168
click to vote
JUCS
2002
15 years 6 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
201
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
220
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
189
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...