1075 search results - page 66 / 215 » On Singular Interval Systems |
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
126
click to vote
RECSYS
2010
ACM
15 years 2 months ago
2010
ACM
Assessing the trustworthiness of reviews is a key issue for the maintainers of opinion sites such as TripAdvisor, given the rewards that can be derived from posting false or biase...
136
click to vote
JCSS
2011
14 years 11 months ago
2011
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
133
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
While the dynamic voltage scaling (DVS) techniques are efficient in reducing the dynamic energy consumption for the processor, varying voltage alone becomes less effective for t...
133
click to vote
ICECCS
1997
IEEE
15 years 8 months ago
1997
IEEE
No cache based techniques for roll-forward fault recovery exist at present. A split-cache approach is proposed that provides e cient support for checkpointing and roll-forward fau...