16091 search results - page 486 / 3219 » Solving |
275
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
287
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
175
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
ng the abstract view of computing resources from the implementation of these resources of indirection between abstract view and implementation of resources - Hides implementation d...
162
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
We propose a new approach to library-based technology mapping, based on the method of logical effort. Our algorithm is close to optimal for fanout-free circuits, and is extended t...
175
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k = 3. We show how to solve this problem in polynomial t...