267 search results - page 8 / 54 » Efficient and decentralized computation of approximate globa... |
85
Voted
FTDCS
2003
IEEE
15 years 2 months ago
2003
IEEE
The global information service in the Internet is a heterogeneous and rapidly evolving environment. Constantly, new information services are added, others are modified, removed or...
85
Voted
AMAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
HPDC
2007
IEEE
15 years 3 months ago
2007
IEEE
Desktop grids combine Peer-to-Peer and Grid computing techniques to improve the robustness, reliability and scalability of job execution infrastructures. However, efficiently mat...
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a method for recognizing scene categories based on approximate global geometric correspondence. This technique works by partitioning the image into increasingl...
103
Voted
DAC
2008
ACM
14 years 11 months ago
2008
ACM
Model order reduction is an efficient technique to reduce the system complexity while producing a good approximation of the input-output behavior. However, the efficiency of reduc...