Sciweavers

8232 search results - page 1431 / 1647
» Dynamic Logic Programming
Sort
View
ISPD
2012
ACM
283views Hardware» more  ISPD 2012»
14 years 1 months ago
Low-power gated bus synthesis for 3d ic via rectilinear shortest-path steiner graph
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
Chung-Kuan Cheng, Peng Du, Andrew B. Kahng, Shih-H...
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
16 years 16 days ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock

Source Code
2556views
17 years 4 months ago
Blender: Open Source 3D Computer Animation Suite
"Blender is a free 3D graphics application. It can be used for modeling, UV unwrapping, texturing, rigging, water simulations, skinning, animating, rendering, particle and oth...
CVPR
2003
IEEE
16 years 8 months ago
Scene Detection In Hollywood Movies and TV Shows
A scene can be defined as one of the subdivisions of a play in which the setting is fixed, or when it presents continuous action in one place. We propose a novel two-pass algorith...
Zeeshan Rasheed, Mubarak Shah
CVPR
2005
IEEE
16 years 8 months ago
Using the Inner-Distance for Classification of Articulated Shapes
We propose using the inner-distance between landmark points to build shape descriptors. The inner-distance is defined as the length of the shortest path between landmark points wi...
Haibin Ling, David W. Jacobs
« Prev « First page 1431 / 1647 Last » Next »