2714 search results - page 205 / 543 » Model comparison with GenericDiff |
243
click to vote
BICA
2010
15 years 1 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
189
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
176
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
172
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...
144
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper proposes the fractional component analysis (FCA), whose goal is to decompose the observed signal into component signals and recover their fractions. The uniqueness of o...