3630 search results - page 251 / 726 » Fast Marching Methods |
160
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Power grid networks in VLSI circuits are required to provide adequate input supply to ensure reliable performance. In this paper, we propose algorithms to find the placement of pow...
187
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
183
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
The Integral Equation Model (IEM) predicts the normalized radar cross section (NRCS) of dielectric surfaces given surface and radar parameters. To derive the surface parameters fr...
163
click to vote
ATMOS
2007
15 years 8 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
144
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
The high dimensionality of the BRDF makes it difficult to use measured data for hardware rendering. Common solutions to overcome this problem include expressing a BRDF as a sum o...