1216 search results - page 129 / 244 » Hybrid type checking |
131
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...
142
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
128
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Copy number variants (CNVs) have been demonstrated to occur at a high frequency and are now widely believed to make a significant contribution to the phenotypic variat...
154
click to vote
ACL
2009
15 years 1 months ago
2009
We present a novel approach to parse web search queries for the purpose of automatic tagging of the queries. We will define a set of probabilistic context-free rules, which genera...
144
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...