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»
14 years 12 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 3 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 3 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
15 years 5 months 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 5 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...