77016 search results - page 412 / 15404 » Modeling Modeling |
169
click to vote
DGO
2010
15 years 8 months ago
2010
Decisions regarding major urban transportation projects and land use policies are frequently political and controversial, as well as having significant economic, social, and envir...
176
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
179
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper proposed a novel video shot clustering algorithm using spectral method by joint modeling of inter and intra shot. Gauss Mixture Model (GMM) is used for probabilistic sp...
193
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
160
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
Keystroke typing characteristics is considered as one of the important biometric features that can be used to protect users against malicious attacks. In this paper we propose a s...