908 search results - page 112 / 182 » Generating maximal models using the stable model semantics |
152
Voted
OWLED
2008
15 years 5 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
155
click to vote
IJVR
2006
15 years 4 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
131
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...
140
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
150
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...