573 search results - page 90 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
126
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
Visual tracking of bare fingers allows more direct manipulation of digital objects, multiple simultaneous users interacting with their two hands, and permits the interaction on l...
158
Voted
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
—The number of real-world applications that require QoS guarantees is constantly increasing and they often follow the publish/subscribe (pub/sub) messaging paradigm, which provid...
181
Voted
TSE
2011
14 years 10 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
116
Voted
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Digital visual libraries have currently available huge amounts of content in unstructured, nonindexed form. Since these collections keep growing fast, retrieving specific images i...
111
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We introduce a stricter Web community definition to overcome boundary ambiguity of a Web community defined by Flake, Lawrence and Giles [2], and consider the problem of finding co...