21430 search results - page 443 / 4286 » Abstract Effective Models |
154
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodne...
152
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
157
click to vote
CIDR
2003
15 years 8 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
177
click to vote
COMPSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
216
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We describe a Markov chain Monte Carlo based particle filter that effectively deals with interacting targets, i.e., targets that are influenced by the proximity and/or be...