4212 search results - page 509 / 843 » Rights Expression Languages |
153
click to vote
ISIM
2007
15 years 8 months ago
2007
We study sequential colonies introduced in [5], [9] from the point of view of their environmental structures. We give expressions for the languages Life, Garden-of-Eden, Doomsday a...
173
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
185
click to vote
FOIS
2006
15 years 8 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
197
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
168
click to vote
ACL
1998
15 years 8 months ago
1998
Maximum entropy framework proved to be expressive and powerful for the statistical language modelling, but it suffers from the computational expensiveness of the model building. T...