887 search results - page 5 / 178 » A Time for Choosing |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
HT
2009
ACM
14 years 9 days ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Managerial decisions regarding software functionality additions at Internet portals are interesting to senior managers involved in e-commerce. Portals can leverage software functi...
ARC
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...