Sciweavers

9989 search results - page 1552 / 1998
» A CLP Approach to Modelling Systems
Sort
View
ICTAC
2010
Springer
15 years 5 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
PCM
2010
Springer
183views Multimedia» more  PCM 2010»
15 years 5 months ago
Fast H.264 Encoding Based on Statistical Learning
Abstract. In this paper, we propose an efficient video coding system that applies statistical learning methods to reduce the computational cost in H.264 encoder. The proposed metho...
Chen-Kuo Chiang, Shang-Hong Lai
EMNLP
2010
15 years 4 months ago
Soft Syntactic Constraints for Hierarchical Phrase-Based Translation Using Latent Syntactic Distributions
In this paper, we present a novel approach to enhance hierarchical phrase-based machine translation systems with linguistically motivated syntactic features. Rather than directly ...
Zhongqiang Huang, Martin Cmejrek, Bowen Zhou
OTM
2010
Springer
15 years 4 months ago
Analysis of the Performance-Influencing Factors of Virtualization Platforms
Abstract. Nowadays, virtualization solutions are gaining increasing importance. By enabling the sharing of physical resources, thus making resource usage more efficient, they promi...
Nikolaus Huber, Marcel von Quast, Fabian Brosig, S...
UM
2010
Springer
15 years 4 months ago
Inducing Effective Pedagogical Strategies Using Learning Context Features
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...
Min Chi, Kurt VanLehn, Diane J. Litman, Pamela W. ...
« Prev « First page 1552 / 1998 Last » Next »