2225 search results - page 202 / 445 » Logical Structures in the Lexicon |
154
click to vote
IOLTS
2008
IEEE
16 years 29 days ago
2008
IEEE
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
158
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
172
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
179
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
176
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the fo...