Sciweavers

9698 search results - page 79 / 1940
» models 2010
Sort
View
124
Voted
FOSSACS
2010
Springer
15 years 4 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
IANDC
2010
45views more  IANDC 2010»
15 years 4 months ago
Models of active learning in group-structured state spaces
Gábor Bartók, Csaba Szepesvár...
ICPR
2010
IEEE
15 years 4 months ago
Pyramidal Model for Image Semantic Segmentation
Giuseppe Passino, Ioannis Patras, Ebroul Izquierdo