4117 search results - page 693 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The batch least-absolute shrinkage and selection operator (Lasso) has well-documented merits for estimating sparse signals of interest emerging in various applications, where obse...
161
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—At present there is a strong worldwide push toward bringing fiber closer to individual homes and businesses. Another evolutionary step is the cost-effective all-optical integra...
163
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...
162
click to vote
INFOCOM
2009
IEEE
16 years 27 days ago
2009
IEEE
— We study the problem of shortest-path geographic routing in a static sensor network. Existing algorithms often make routing decisions based on node information in local neighbo...