2218 search results - page 27 / 444 » Testing Expressibility Is Hard |
LATA
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
ISSRE
2003
IEEE
14 years 29 days ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
KR
1998
Springer
13 years 12 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
LREC
2008
13 years 9 months ago
2008
In this paper we describe the result of manually annotating I-CAB, the Italian Content Annotation Bank, by expressions of private state (EPSs), i.e., expressions that denote the p...
AMFG
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce a novel framework for automatic 3D facial expression analysis in videos. The preliminary results were demonstrated by editing the facial expression with facial recogni...