4524 search results - page 541 / 905 » The Complexity of Global Constraints |
194
click to vote
CCR
2004
15 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
181
click to vote
LRE
2002
15 years 7 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
194
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...
235
click to vote
PAKDD
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolutio...
215
click to vote
TIP
2010
15 years 6 months ago
2010
—Motion scalability is designed to improve the coding efficiency of a scalable video coding framework, especially in the medium to low range of decoding bit rates and spatial re...