14382 search results - page 127 / 2877 » Time in Connectionist Models |
152
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
181
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The problem of hand tracking in the presence of occlusion is addressed. In bimanual movements the hands tend to be synchronised effortlessly. Different aspects of this sy...
260
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
226
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
192
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...