Sciweavers

1547 search results - page 212 / 310
» The Isabelle Collections Framework
Sort
View
112
Voted
ICCD
2004
IEEE
98views Hardware» more  ICCD 2004»
15 years 9 months ago
Thermal-Aware IP Virtualization and Placement for Networks-on-Chip Architecture
Networks-on-Chip (NoC), a new SoC paradigm, has been proposed as a solution to mitigate complex on-chip interconnect problems. NoC architecture consists of a collection of IP core...
Wei-Lun Hung, Charles Addo-Quaye, Theo Theocharide...
PLPV
2010
ACM
15 years 9 months ago
Resource typing in Guru
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
Aaron Stump, Evan Austin
131
Voted
CVPR
2010
IEEE
15 years 9 months ago
Human Identity Recognition in Aerial Images
Human identity recognition is an important yet underaddressed problem. Previous methods were strictly limited to high quality photographs, where the principal techniques heavily...
Omar Oreifej, Ramin Mehran, and Mubarak Shah
91
Voted
CVPR
2010
IEEE
15 years 8 months ago
Efficient Extraction of Human Motion Volumes by Tracking
We present an automatic and efficient method to extract spatio-temporal human volumes from video, which combines top-down model-based and bottom-up appearancebased approaches. Fr...
Juan Carlos Niebles, Bohyung Han, Li Fei-Fei
97
Voted
CVPR
2010
IEEE
15 years 8 months ago
Use Bin-Ratio Information for Category and Scene Classification
In this paper we propose using bin-ratio information, which is collected from the ratios between bin values of histograms, for scene and category classification. To use such info...
Nianhua Xie, Haibin Ling, Weiming Hu, Xiaoqin Zhan...