1792 search results - page 237 / 359 » e-Participation and Decision Analysis |
CAV
2008
Springer
15 years 16 days ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
CIKM
2008
Springer
15 years 15 days ago
2008
Springer
The skyline query, as an important operator in databases for multi-preference analysis and decision making, has received much attention recently due to its wide application backgr...
COLT
2008
Springer
15 years 9 days ago
2008
Springer
We describe and explore a new perspective on the sample complexity of active learning. In many situations where it was generally believed that active learning does not help, we sh...
FPL
2008
Springer
15 years 2 days ago
2008
Springer
Traditional microprocessor-based solutions are insufficient to serve the dynamic throughput demands of real-time scalable multimedia processing systems. This paper introduces a Po...
ICWSM
2008
14 years 12 months ago
2008
In this paper, we attempt to specify the influencer and the influential terms in consumer package goods by using the influence diffusion model (IDM). IDM calculates the spread of ...