1359 search results - page 163 / 272 » Black-Box Program Specialization |
WWW
2011
ACM
13 years 5 months ago
2011
ACM
The goal of the Eighth Workshop on Information Integration on the Web (IIWeb 2011), held in conjunction with WWW 2011 on March 28th, 2011 at Hyderabad, India was to bring together...
IGPL
2011
13 years 1 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
HYBRID
2011
Springer
12 years 9 months ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
CP
2009
Springer
14 years 10 months ago
2009
Springer
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...