908 search results - page 84 / 182 » Generating maximal models using the stable model semantics |
121
Voted
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
140
Voted
IDEAS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
178
click to vote
AIME
2011
Springer
14 years 4 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
170
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
143
click to vote
TASLP
2010
14 years 11 months ago
2010
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...