913 search results - page 87 / 183 » New polytopes from products |
163
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
141
click to vote
ACMICEC
2004
ACM
15 years 11 months ago
2004
ACM
Mobility, context-awareness and payment combined provide a customer with a completely new setting of consuming services at any time and any place. We introduce SmartRestaurant ser...
153
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a new sublinear space data structure—the Count-Min Sketch— for summarizing data streams. Our sketch allows fundamental queries in data stream summarization such a...
138
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
161
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...