6704 search results - page 477 / 1341 » Testing Scenario-Based Models |
178
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
181
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an analysis and system-level design of a capacitive harvester of vibration energy composed from a mechanical resonator, capacitive transducer and a conditioning...
193
click to vote
MCS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we consider the role of "leads" of the first difference of integrated variables in the dynamic OLS estimation of cointegrating regression models. Specific...
210
click to vote
AIEDU
2005
15 years 6 months ago
2005
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...
204
click to vote
IJON
2002
15 years 6 months ago
2002
: In this paper we describe a method for tracking walking humans in the visual field. Active contour models are used to track moving objects in a sequence of images. The resulting ...