Sciweavers

1141 search results - page 100 / 229
» Experiences and directions in pushpin computing
Sort
View
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
15 years 2 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
15 years 2 months ago
A Comparison of Position Estimation Techniques Using Occupancy Grids
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
Bernt Schiele, James L. Crowley
ANNPR
2006
Springer
15 years 1 months ago
Fast Training of Linear Programming Support Vector Machines Using Decomposition Techniques
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...
Yusuke Torii, Shigeo Abe
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 1 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
DRM
2006
Springer
15 years 1 months ago
Consumers, fans, and control: what the games industry can teach Hollywood about DRM
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
Susan Landau, Renée Stratulate, Doug Twille...