1724 search results - page 119 / 345 » Abstract Interpreters for Free |
158
click to vote
JUCS
2002
15 years 6 months ago
2002
Abstract: We define rationally additive semirings that are a generalization of ()complete and (-)continuous semirings. We prove that every rationally additive semiring is an iterat...
178
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
207
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
189
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
173
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
AbstractāBreast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...