159 search results - page 27 / 32 » Weak Equivalences in Psi-Calculi |
112
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a novel boosting algorithm which improves on current algorithms for weighted voting classification by striking a better balance between classification accuracy and the ...
103
Voted
ACTA
2010
15 years 24 days ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
106
Voted
APAL
2007
15 years 24 days ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
119
Voted
IJSNET
2006
15 years 19 days ago
2006
: Mobility in wireless sensor networks poses unique challenges to the medium access control (MAC) protocol design. Previous MAC protocols for sensor networks assume static sensor n...
97
Voted
MOR
2008
15 years 18 days ago
2008
We define a refinement of Nash equilibria called metastability. This refinement supposes that the given game might be embedded within any global game that leaves its local best-rep...