3335 search results - page 428 / 667 » Grid result checking |
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Distributed video coding (DVC) is an emerging video coding paradigm for systems which fully or partly exploit the source statistics at the decoder to reduce the computational burd...
144
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a 3D medical image coding method with optimal channel protection for wireless transmission. The proposed method employs the 3D integer wavelet transform and a modified ...
183
click to vote
DLOG
2011
14 years 9 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
209
click to vote
DLOG
2011
2011
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases
14 years 9 months ago
We present a framework for logic-based matchmaking on ALN ABoxes stored in a relational database. The proposed approach allows both non-standard reasoning and subsumption check be ...
192
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...