3994 search results - page 415 / 799 » A Linear Logical Framework |
166
click to vote
RULEML
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
190
click to vote
DEON
2004
Springer
16 years 8 days ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
162
click to vote
MKM
2004
Springer
16 years 7 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
178
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...
190
click to vote
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...