4126 search results - page 445 / 826 » Relationships with other Formalisms |
163
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
141
click to vote
JLP
2010
15 years 1 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
228
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
218
click to vote
ISCAS
2011
IEEE
14 years 10 months ago
2011
IEEE
— The last two decades have seen many efficient algorithms and architectures for the design of low-complexity bit-parallel Multiple Constant Multiplications (MCM) operation, tha...
236
click to vote
AIME
2011
Springer
14 years 6 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...