1359 search results - page 163 / 272 » Black-Box Program Specialization |
124
Voted
WWW
2011
ACM
14 years 9 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...
141
Voted
IGPL
2011
14 years 6 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...
273
Voted
HYBRID
2011
Springer
14 years 2 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...
227
Voted
CP
2009
Springer
16 years 3 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...
136
click to vote
TLCA
2009
Springer
15 years 9 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...