2672 search results - page 328 / 535 » Hybridizing Concept Languages |
105
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
100
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
123
Voted
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
A list of representative directional prepositions of the English language is investigated to develop computation models that output some general motion trajectory or goal directio...
134
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
119
Voted
AI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...