Sciweavers

2851 search results - page 37 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
CVPR
2003
IEEE
16 years 6 months ago
A Road Sign Recognition System Based on Dynamic Visual Model
We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...
C. Y. Fang, C. S. Fuh, S. W. Chen, P. S. Yen
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 5 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
FC
2004
Springer
88views Cryptology» more  FC 2004»
15 years 9 months ago
Mental Models of Computer Security
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
L. Jean Camp
ECAI
2006
Springer
15 years 7 months ago
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts
Abstract. Most research works about ontology or schema matching are based on symmetric similarity measures. By transposing the association rules paradigm, we propose to use asymmet...
Jérôme David, Fabrice Guillet, R&eacu...