Sciweavers

9698 search results - page 115 / 1940
» models 2010
Sort
View
EPEW
2010
Springer
15 years 7 months ago
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...
ICMCS
2010
IEEE
150views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Modelling semantic context for novelty detection in wildlife scenes
Suet-Peng Yong, Jeremiah D. Deng, Martin K. Purvis
ASWEC
2010
IEEE
15 years 6 months ago
Modeling Multigrid Algorithms for Variational Imaging
Isabel Dietrich, Reinhard German, Harald Koestler,...