5671 search results - page 985 / 1135 » A Semantic Approach to Interpolation |
182
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
203
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
224
click to vote
SEMCO
2007
IEEE
16 years 24 days ago
2007
IEEE
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...
196
click to vote
SEMCO
2007
IEEE
16 years 24 days ago
2007
IEEE
Automatic sentence segmentation of spoken language is an important precursor to downstream natural language processing. Previous studies combine lexical and prosodic features, but...
166
click to vote
SSDBM
2007
IEEE
16 years 24 days ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...