10038 search results - page 1931 / 2008 » Model Checking for Managers |
126
Voted
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...
124
click to vote
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
149
Voted
SIGMETRICS
2012
ACM
13 years 3 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...
141
Voted
IWOMP
2007
Springer
15 years 6 months ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
119
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper examines the problem of detecting changes in a 3-d scene from a sequence of images, taken by cameras with arbitrary but known pose. No prior knowledge of the state of n...