2373 search results - page 366 / 475 » Modelling Facial Behaviours |
129
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...
260
Voted
SOMET
2007
15 years 5 months ago
2007
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
132
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
137
click to vote
ENTCS
2006
15 years 4 months 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...
119
click to vote
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...