9067 search results - page 635 / 1814 » Adaptive Model Checking |
185
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— A method to detect moving objects on non-stationary background is proposed. The concurrent motions of foreground and background pixels make it extremely difficult to maintain a...
180
click to vote
WSC
1997
1997
Interactive Strategies for Developing Intuitive Knowledge as Basis for Simulation Modeling Education
15 years 8 months ago
This paper investigates theoretically based instructional approaches for organizational training, education and knowledge acquisition for simulation modeling. It proposes differen...
218
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
The cerebellum plays a major role in motor control. It is thought to mediate the acquisition of forward and inverse internal models of the bodyenvironment interaction [1]. In this ...
159
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
211
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...