1392 search results - page 91 / 279 » A Calculus for Dynamic Linking |
138
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
131
click to vote
GRAMMARS
2000
15 years 3 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
130
click to vote
IANDC
2010
15 years 2 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
154
click to vote
MTSR
2007
Springer
15 years 10 months ago
2007
Springer
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...