2487 search results - page 163 / 498 » cases 2009 |
83
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
We propose a method that uses the restricted inter-view prediction for multi-view video coding. In the multi-view video, there exists occluded area because of the locations and an...
94
Voted
ARC
2009
Springer
15 years 7 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
94
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
93
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
93
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...