8828 search results - page 1156 / 1766 » Formal methods in practice |
189
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
199
click to vote
SMA
2006
ACM
16 years 1 months ago
2006
ACM
Segmenting meshes into natural regions is useful for model understanding
and many practical applications. In this paper, we present
a novel, automatic algorithm for segmenting me...
177
click to vote
ACSC
2005
IEEE
16 years 1 months ago
2005
IEEE
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...
163
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
213
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...