118 search results - page 18 / 24 » Flexible and Extensible Notations for Modeling Languages |
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
SIGDOC
1998
ACM
13 years 11 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
AAAI
2000
13 years 9 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
CSDA
2006
13 years 7 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...