Sciweavers

1523 search results - page 32 / 305
» Partially ordered secretaries
Sort
View
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 10 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
ECAI
2006
Springer
15 years 10 months ago
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
KDD
2000
ACM
125views Data Mining» more  KDD 2000»
15 years 10 months ago
Global partial orders from sequential data
Heikki Mannila, Christopher Meek
DASFAA
2010
IEEE
189views Database» more  DASFAA 2010»
15 years 10 months ago
Efficient Skyline Maintenance for Streaming Data with Partially-Ordered Domains
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...
Yuan Fang, Chee-Yong Chan
ATAL
2008
Springer
15 years 8 months ago
Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies
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...
Thomas Gabel, Martin A. Riedmiller