1523 search results - page 32 / 305 » Partially ordered secretaries |
82
Voted
ISMVL
1994
IEEE
15 years 4 months ago
1994
IEEE
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
79
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
76
Voted
KDD
2000
ACM
15 years 4 months ago
2000
ACM
100
click to vote
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
We address the problem of skyline query processing for a count-based window of continuous streaming data that involves both totally- and partially-ordered attribute domains. In thi...
121
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...