1029 search results - page 167 / 206 » Compact representations of ordered sets |
POPL
2008
ACM
14 years 10 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
—Connecting system-level performance models with circuit information has been a long-standing problem in analog/mixed-signal front-ends, like radios and high-speed links. High-sp...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. A team of mobile sensors can be used for coverage of targets in different environments. The dynamic nature of such an application requires the team of agents to adjust th...
ICPR
2010
IEEE
14 years 4 months ago
2010
IEEE
In recent years several works have aimed at exploiting color information in order to improve the bag-ofwords based image representation. There are two stages in which color inform...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...