11963 search results - page 2094 / 2393 » A framework for linguistic modelling |
163
click to vote
APN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
214
click to vote
ARGMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
161
click to vote
CCIA
2007
Springer
16 years 29 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
145
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
180
Voted
CP
2007
Springer
16 years 28 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...