814 search results - page 82 / 163 » Optimal pairings |
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
FLAIRS
2004
13 years 11 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...
ISIPTA
2003
IEEE
14 years 3 months ago
2003
IEEE
We analyze communication of uncertainty among individuals as a function of the parties’ preference for modes of communication. We assume that different individuals may prefer pr...
CVPR
2012
IEEE
12 years 13 days ago
2012
IEEE
Recent years have witnessed the growing popularity of hashing in large-scale vision problems. It has been shown that the hashing quality could be boosted by leveraging supervised ...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Emerging multi-core processors are able to accelerate medical imaging applications by exploiting the parallelism available in their algorithms. We have implemented a mutual-inform...