2976 search results - page 103 / 596 » On the bounded integer programming |
120
click to vote
EM
2010
15 years 2 months ago
2010
Abstract. The kissing number in n-dimensional Euclidean space is the maximal number of non-overlapping unit spheres which simultaneously can touch a central unit sphere. Bachoc and...
129
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
109
click to vote
ECCC
2007
15 years 2 months ago
2007
We recover the first linear programming bound of McEliece, Rodemich, Rumsey, and Welch for binary error-correcting codes and designs via a covering argument. It is possible to sh...
102
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
123
Voted
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...