9842 search results - page 257 / 1969 » Compositional timing analysis |
149
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Most of the existing works on space-time block codes (STBC) assume the channels are quasi-static, i.e., they remain invariant within one block. This assumption is not always tr...
132
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
153
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
157
click to vote
SCIA
2007
Springer
15 years 10 months ago
2007
Springer
The work presented here takes place in the field of computer aided analysis of facial expressions displayed in sign language videos. We use Active Appearance Models to model a fac...
133
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
Abstract. Most applications of competitive analysis have involved online problems where a candidate on-line algorithm must compete on some input sequence against an optimal o -line...