10718 search results - page 782 / 2144 » On the Circuit Implementation Problem |
195
click to vote
ASE
2004
15 years 7 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
232
click to vote
TKDE
2008
15 years 7 months ago
2008
Proving ownership rights on outsourced relational databases is a crucial issue in today internet-based application environments and in many content distribution applications. In th...
211
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...
221
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
197
click to vote
CCGRID
2003
IEEE
16 years 28 days ago
2003
IEEE
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...