644 search results - page 19 / 129 » Real Algebraic Numbers: Complexity Analysis and Experimentat... |
167
click to vote
RTAS
2009
IEEE
16 years 15 days ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
192
click to vote
AVI
2006
15 years 7 months ago
2006
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
136
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
182
click to vote
CASC
2006
Springer
15 years 9 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
168
click to vote
ENTCS
2002
15 years 5 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...