6355 search results - page 927 / 1271 » From Logic to Games |
197
Voted
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
204
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
139
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Complex arithmetic computations, especially if derived from bit-level software descriptions, can be very inefficient if implemented directly in hardware (e.g., by translation of t...
177
click to vote
CCIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...