908 search results - page 69 / 182 » Generating maximal models using the stable model semantics |
166
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
140
click to vote
FLAIRS
2006
15 years 6 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
148
Voted
JODS
2006
15 years 4 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
126
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present a new evaluation approach for missing data techniques (MDTs) where the efficiency of those are investigated using listwise deletion method as reference....
145
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...