9405 search results - page 1060 / 1881 » Computing a Model of Set Theory |
215
click to vote
CAV
2004
Springer
16 years 29 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
204
click to vote
SPIN
2004
Springer
16 years 28 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
181
click to vote
CVPR
2003
IEEE
16 years 26 days ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
208
click to vote
BIRTHDAY
2000
Springer
15 years 12 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
234
click to vote
DAC
1999
ACM
15 years 12 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...