1064 search results - page 189 / 213 » Exact Algorithms for the Quadratic Linear Ordering Problem |
160
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
161
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Wireless mesh network is designed as an economical solution for last-mile broadband Internet access. In this paper, we study bandwidth allocation in multi-channel multihop wire...
131
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Training datasets for object detection problems are typically very large and Support Vector Machine (SVM) implementations are computationally complex. As opposed to these complex ...
161
click to vote
PLANX
2007
15 years 5 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
136
click to vote
AIPS
2006
15 years 5 months ago
2006
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...