1626 search results - page 149 / 326 » Computing the Types of the Relationships between Autonomous ... |
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Traditionally, robot control has been done typically by “highly precise control algorithms”: the position of each movable body part is accurately determined at any time wit...
NGC
2002
Springer
13 years 8 months ago
2002
Springer
Abundant content, data type and diverse members' interests naturally lead to preference heterogeneity within a multicast session requiring frequent communication within subgr...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...