3724 search results - page 204 / 745 » Timed regular expressions |
143
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
146
click to vote
PRESENCE
2006
15 years 4 months ago
2006
The realism of avatars in terms of behavior and form is critical to the development of collaborative virtual environments. In the study we utilized state of the art, realtime face...
130
click to vote
TSP
2008
15 years 4 months ago
2008
A space-time optimal power schedule for multiple distributed multiple-input multiple-output (MIMO) links without the knowledge of the instantaneous channel state information at th...
136
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a new expression of the relationship between Integral Projections and motion in an image pair. The resulting new multiresolution gradient based approach is use...
133
click to vote
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...