9698 search results - page 159 / 1940 » models 2010 |
180
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
179
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
An image representation framework based on structured sparse model selection is introduced in this work. The corresponding modeling dictionary is comprised of a family of learned ...
138
click to vote
JGS
2010
15 years 1 months ago
2010
The purpose of this paper is to suggest estimators for the parameters of spatial models containing a spatially lagged dependent variable, as well as spatially lagged independent va...