6308 search results - page 147 / 1262 » Modeling Urgency in Timed Systems |
117
click to vote
SIGGRAPH
1992
ACM
15 years 2 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
FORMATS
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
123
click to vote
PSIVT
2007
Springer
15 years 4 months ago
2007
Springer
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...
HPDC
1999
IEEE
15 years 2 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...