15372 search results - page 2955 / 3075 » The Semantics of Semantic Annotation |
NMR
2004
Springer
14 years 2 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
PSSE
2004
Springer
14 years 2 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...