15485 search results - page 2516 / 3097 » Computing Optimal Subsets |
210
click to vote
CAD
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we present a new B-spline surface reconstruction approach, called dynamic surface reconstruction, aiming to close the sensingand-modeling loop in 3D digitization. A...
188
click to vote
FMSD
2006
15 years 7 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
189
click to vote
CCE
2007
15 years 7 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
194
click to vote
IANDC
2006
15 years 7 months ago
2006
This paper studies the complexity of learning classes of expressions in propositional logic from equivalence queries and membership queries. In particular, we focus on bounding th...
186
click to vote
JAIR
2008
15 years 7 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...