2877 search results - page 429 / 576 » The Complexity of Planarity Testing |
135
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Current multi-display environments (MDEs) can be composed of displays with different characteristics (e.g. resolution, size) located in any position and at different angl...
131
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
157
click to vote
ICASSP
2007
IEEE
15 years 5 months ago
2007
IEEE
Multi-reference frame motion estimation improves the accuracy of motion compensation in video coding. However, it also increases computational complexity dramatically. In this pap...
139
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
164
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...