9626 search results - page 1327 / 1926 » Invariant Based Programming |
170
click to vote
WOSP
2004
ACM
16 years 18 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
205
click to vote
ROCAI
2004
Springer
16 years 16 days ago
2004
Springer
For many years now, there is a growing interest around ROC curve for characterizing machine learning performances. This is particularly due to the fact that in real-world problems ...
160
click to vote
CAISE
2003
Springer
16 years 13 days ago
2003
Springer
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....
186
click to vote
CP
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
178
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
Suppose we have n algorithms, quantum or classical, each computing some bit-value with bounded error probability. We describe a quantum algorithm that uses O( √ n) repetitions of...