12373 search results - page 2312 / 2475 » Semi-Logarithmic Number Systems |
131
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
116
Voted
FPL
2008
Springer
15 years 5 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
115
Voted
ISLPED
2007
ACM
15 years 5 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
226
Voted
AAAI
2010
15 years 5 months ago
2010
The problem of dividing a sequence of values into segments occurs in database systems, information retrieval, and knowledge management. The challenge is to select a finite number ...
135
Voted
APVIS
2008
15 years 5 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...