Sciweavers

3678 search results - page 646 / 736
» On the Stable Paths Problem
Sort
View
ASPDAC
2007
ACM
121views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Timing-Aware Decoupling Capacitance Allocation in Power Distribution Networks
Power supply noise increases the circuit delay, which may lead to performance failure of a design. Decoupling capacitance (decap) addition is effective in reducing the power suppl...
Sanjay Pant, David Blaauw
CVPR
2009
IEEE
14 years 1 months ago
Shape-based object recognition in videos using 3D synthetic object models
In this paper we address the problem of recognizing moving objects in videos by utilizing synthetic 3D models. We use only the silhouette space of the synthetic models making thus...
Alexander Toshev, Ameesh Makadia, Kostas Daniilidi...
EPIA
2009
Springer
14 years 1 months ago
Semantic Image Search and Subset Selection for Classifier Training in Object Recognition
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
Rui Pereira, Luís Seabra Lopes, Augusto Sil...
FASE
2009
Springer
14 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ICCCN
2007
IEEE
14 years 1 months ago
Load-aware Traffic Engineering for Mesh Networks
Abstract--The static nature of mesh nodes imposes requirements for designing routing metrics that support high throughput and low packet delay. This paper considers the problem of ...
Devu Manikantan Shila, Tricha Anjali