77016 search results - page 304 / 15404 » Modeling Modeling |
174
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
149
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we propose a new hierarchical non stationary image prior for image restoration. This prior captures the directional edges using a continuous model and regularizes acc...
188
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
162
click to vote
MLQ
2008
15 years 6 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
156
click to vote
WSC
2004
15 years 8 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...