Sciweavers

4480 search results - page 110 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
DATE
2010
IEEE
174views Hardware» more  DATE 2010»
15 years 4 months ago
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusio
The H.264/AVC video encoder standard significantly improves the compression efficiency by using variable block-sized Inter (P) and Intra (I) Macroblock (MB) coding modes. In this p...
Muhammad Shafique, Bastian Molkenthin, Jörg H...
EMNLP
2004
15 years 7 months ago
From Machine Translation to Computer Assisted Translation using Finite-State Models
State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...
Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Davi...
CP
1997
Springer
15 years 10 months ago
Programming Constraint Inference Engines
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
Christian Schulte
ACL
2000
15 years 7 months ago
Diagnostic Processing of Japanese for Computer-Assisted Second Language Learning
As an application of NLP to computer-assisted language learning(CALL) , we propose a diagnostic processing of Japanese being able to detect errors and inappropriateness of sentenc...
Jun'ichi Kakegawa, Hisayuki Kanda, Eitaro Fujioka,...
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 11 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...