Sciweavers

5630 search results - page 731 / 1126
» Computability in Specification
Sort
View
COLING
2010
15 years 1 months ago
E-HowNet and Automatic Construction of a Lexical Ontology
In this paper, we propose a lexical senses representation system called E-HowNet, in which the lexical senses are defined by basic concepts. As a result, the meanings of expressio...
Wei-Te Chen, Su-Chu Lin, Shu-Ling Huang, You-Shan ...
COMMA
2010
15 years 1 months ago
Qualitative Evidence Aggregation using Argumentation
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
Anthony Hunter, Matthew Williams
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
15 years 1 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
TCSV
2010
15 years 1 months ago
Motion Refinement Based Progressive Side-Information Estimation for Wyner-Ziv Video Coding
During the past ten years, Wyner-Ziv video coding (WZVC) has gained a lot of research interests because of its unique characteristics of "simple encoding, complex decoding&quo...
Wei Liu, Lina Dong, Wenjun Zeng
TCSV
2010
15 years 1 months ago
Wireless Video Quality Assessment: A Study of Subjective Scores and Objective Algorithms
Evaluating the perceptual quality of video is of tremendous importance in the design and optimization of wireless video processing and transmission systems. In an endeavor to emula...
Anush K. Moorthy, Kalpana Seshadrinathan, Rajiv So...