1391 search results - page 236 / 279 » Completeness of Neighbourhood Logic |
147
click to vote
FPGA
2004
ACM
16 years 4 days ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
162
click to vote
ICLP
2004
Springer
16 years 4 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
174
click to vote
ISCIS
2004
Springer
16 years 4 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
211
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
190
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...