11716 search results - page 2034 / 2344 » Computable symbolic dynamics |
162
click to vote
POLICY
2005
Springer
16 years 8 days ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
146
click to vote
ROBOCUP
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes the humanoid robot Toni that has been designed to play soccer in the RoboCup Humanoid League. The paper details Toni’s mechanical and electrical design, perc...
175
click to vote
SCALESPACE
2005
Springer
16 years 8 days ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
168
click to vote
TGC
2005
Springer
16 years 7 days ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
163
click to vote
WABI
2005
Springer
16 years 7 days ago
2005
Springer
d Abstract] Tamir Tuller , Efrat Oron , Erez Makavy , Daniel A. Chamovitz † , and Benny Chor ‡ Tel-Aviv University, Tel-Aviv 69978, Israel. Abstract. We study gene expression d...