Sciweavers

3591 search results - page 634 / 719
» Typing linear constraints
Sort
View
DASFAA
2011
IEEE
311views Database» more  DASFAA 2011»
14 years 1 months ago
3D Indoor Route Planning for Arbitrary-Shape Objects
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
Wenjie Yuan, Markus Schneider
ICCV
2011
IEEE
13 years 10 months ago
Understanding Scenes on Many Levels
This paper presents a framework for image parsing with multiple label sets. For example, we may want to simultaneously label every image region according to its basiclevel object ...
Joseph Tighe, Svetlana Lazebnik
ASPDAC
2012
ACM
247views Hardware» more  ASPDAC 2012»
13 years 5 months ago
Through-silicon-via-induced obstacle-aware clock tree synthesis for 3D ICs
— In this paper, we present an obstacle-aware clock tree synthesis method for through-silicon-via (TSV)-based 3D ICs. A unique aspect of this problem lies in the fact that variou...
Xin Zhao, Sung Kyu Lim

Lecture Notes
742views
16 years 8 months ago
Computer Systems Analysis
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
Raj Jain
DAC
2007
ACM
15 years 11 months ago
Synthesizing Stochasticity in Biochemical Systems
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
Brian Fett, Jehoshua Bruck, Marc D. Riedel