Sciweavers

1042 search results - page 28 / 209
» Representing real numbers in a generalized numeration system
Sort
View
CORR
2010
Springer
71views Education» more  CORR 2010»
15 years 6 months ago
Cobham's theorem for substitutions
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper...
Fabien Durand
LICS
1998
IEEE
15 years 9 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
BIRTHDAY
2006
Springer
15 years 9 months ago
Coordination of Actions in an Autonomous Robotic System
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
Erik Sandewall
MINENET
2006
ACM
16 years 1 days ago
Forensic analysis of autonomous system reachability
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
D. K. Lee, Sue B. Moon, Taesang Choi, Taesoo Jeong
RT
2005
Springer
15 years 11 months ago
Real-Time Multiple Scattering in Participating Media with Illumination Networks
This paper proposes a real-time method to compute multiple scattering in non-homogeneous participating media having general phase functions. The volume represented by a particle s...
László Szirmay-Kalos, Mateu Sbert, T...