2887 search results - page 229 / 578 » Name Generation and Linearity |
184
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We propose GRIP, a scalable global routing technique via Integer Programming (IP). GRIP optimizes wirelength and via cost without going through a layer assignment phase. GRIP sele...
200
click to vote
CVPR
1998
IEEE
15 years 11 months ago
1998
IEEE
1 A system of coupled differential equations is formulated which learns priors for modelling "preattentive" textures. It is derived from an energy functional consisting o...
173
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
175
Voted
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
191
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Surgical simulation is a promising technology for training medical students and planning procedures. One major requirement for these simulation systems is a method to generate real...