1992 search results - page 253 / 399 » On the (limited) power of non-equivocation |
130
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
110
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Most current approaches to recognition aim to be scaleinvariant. However, the cues available for recognizing a 300 pixel tall object are qualitatively different from tho...
102
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Knowledge is key to sustainable competitive advantage, but different kinds of knowledge affect competitive advantage differently. This applies especially to the environment of inc...
127
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Sensor networks have evolved to a powerful infrastructure component for event monitoring in many application scenarios. In addition to simple filter and aggregation op...
131
click to vote
PDP
2010
IEEE
15 years 7 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...