3874 search results - page 271 / 775 » Approximation Algorithms for k-hurdle Problems |
263
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
XML data integration tools are facing a variety of challenges for their efficient and effective operation. Among these is the requirement to handle a variety of inconsistencies or...
122
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Recent approaches to learning structured predictors often require approximate inference for tractability; yet its effects on the learned model are unclear. Meanwhile, most learnin...
130
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We consider the problem of approximating a continuous curve by a piecewise linear one whose segments are assumed to be connected by universal joints. Rather than taking...
117
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
161
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...