Sciweavers

5786 search results - page 353 / 1158
» Lines Pinning Lines
Sort
View
CIE
2005
Springer
16 years 1 months ago
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
Jérôme Durand-Lose
VSTTE
2005
Springer
16 years 1 months ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr...
ECCV
2010
Springer
16 years 28 days ago
Geometric Image Parsing in Man-Made Environments
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...
GLVLSI
2003
IEEE
157views VLSI» more  GLVLSI 2003»
16 years 27 days ago
Optimum wire sizing of RLC interconnect with repeaters
Repeaters are often used to drive high impedance interconnects. These lines have become highly inductive and can affect signal behavior. The line inductance should therefore be co...
Magdy A. El-Moursy, Eby G. Friedman
INFOCOM
2003
IEEE
16 years 26 days ago
Analysis of a single-wavelength optical buffer
— We present a detailed analysis of the loss performance in an optical buffer having access to a single outgoing channel. Such a system - consisting of a number of fiber delay li...
Koenraad Laevens, Herwig Bruneel