11716 search results - page 2094 / 2344 » Computable symbolic dynamics |
133
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
111
Voted
CVGIP
2006
15 years 22 days ago
2006
Creating controllable, responsive avatars is an important problem in computer games and virtual environments. Recently, large collections of motion capture data have been exploite...
ENTCS
2006
15 years 21 days ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
106
Voted
ENTCS
2006
15 years 21 days ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
EOR
2006
15 years 21 days ago
2006
This paper considers a project scheduling problem with the objective of minimizing resource availability costs, taking into account a deadline for the project and precedence relat...