588 search results - page 97 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
130
Voted
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
161
Voted
FOIKS
2008
Springer
15 years 11 months ago
2008
Springer
Supervised learning deals with the inference of a distribution over an output or label space $\CY$ conditioned on points in an observation space $\CX$, given a training dataset $D$...
137
Voted
MST
2011
14 years 9 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
105
Voted
DAWAK
1999
Springer
15 years 6 months ago
1999
Springer
A data warehouse DW can be seen as a set of materialized views de ned over remote base relations. When a query is posed, it is evaluated locally, using the materialized views, wi...
129
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...