3820 search results - page 401 / 764 » Bounded Model Debugging |
137
Voted
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
We consider a multicast game with selfish non-cooperative players. There is a special source node and each player is interested in connecting to the source by making a routing de...
138
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...
123
Voted
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Statistical query (SQ) learning model of Kearns is a natural restriction of the PAC learning model in which a learning algorithm is allowed to obtain estimates of statistical prop...
119
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
159
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. Similarity search in large multimedia databases requires efficient query processing based on suitable similarity models. Similarity models consist of a feature extraction...