Sciweavers

1657 search results - page 88 / 332
» Subjective Mapping
Sort
View
CGF
2008
92views more  CGF 2008»
14 years 12 months ago
Detail-In-Context Visualization for Satellite Imagery
We use the complex logarithm as a transformation for the visualization and navigation of highly complex satellite and aerial imagery. The resulting depictions show details and con...
Joachim Böttger, Martin Preiser, Michael Balz...
ENTCS
2008
94views more  ENTCS 2008»
14 years 12 months ago
A Logical Framework with Explicit Conversions
The type theory P corresponds to the logical framework LF. In this paper we present H, a variant of P where convertibility is not implemented by means of the customary conversion ...
Herman Geuvers, Freek Wiedijk
TCAD
2008
133views more  TCAD 2008»
14 years 11 months ago
Metal-Density-Driven Placement for CMP Variation and Routability
In this paper, we propose the first metal-density driven placement algorithm to reduce CMP variation and achieve higher routability. Based on an analytical placement framework, we...
Tung-Chieh Chen, Minsik Cho, David Z. Pan, Yao-Wen...
SIAMCO
2000
137views more  SIAMCO 2000»
14 years 11 months ago
On a Class of Diffeomorphic Matching Problems in One Dimension
We study a class of functional which can be used for matching objects which can be represented as mappings from a fixed interval, I, to some "feature space." This class o...
Alain Trouvé, Laurent Younes
IUI
2005
ACM
15 years 5 months ago
Task learning by instruction in tailor
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
Jim Blythe