3244 search results - page 371 / 649 » Extensions to Description Logics |
177
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
160
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the CMUnited-99 small-size robot team. The team builds on our previous RoboCup champion teams (’97 and ’98). The team reuses much of the hardware, percepti...
189
click to vote
ICTL
1994
15 years 10 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
158
Voted
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
194
click to vote
ASWC
2009
Springer
15 years 10 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...