1838 search results - page 92 / 368 » Process modelling: the deontic way |
FGR
2006
IEEE
15 years 3 months ago
2006
IEEE
Active statistical models including active shape models and active appearance models are very powerful for face alignment. They are composed of two parts: the subspace model(s) an...
113
click to vote
ATAL
2010
Springer
15 years 12 days ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
ICDCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Autonomous routing algorithms, such as BGP, are intended to reach a globally consistent set of routes after nodes iteratively and independently collect, process, and share network...
119
click to vote
AVSS
2009
IEEE
15 years 2 months ago
2009
IEEE
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
FORMATS
2003
Springer
15 years 4 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...