1828 search results - page 212 / 366 » From Features to Semantics: Some Preliminary Results |
107
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
111
click to vote
AAI
2006
15 years 1 months ago
2006
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
105
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Most existing methods of semi-supervised clustering introduce supervision from outside, e.g., manually label some data samples or introduce constrains into clustering results. Thi...
111
click to vote
MVA
2007
15 years 3 months ago
2007
Shadow detection is critical for robust and reliable vision-based systems for traffic vision analysis. Shadow points are often misclassified as object points causing errors in loc...
107
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...