3256 search results - page 204 / 652 » Applications of Formal Methods to System Design and Verifica... |
182
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
172
click to vote
ICECCS
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
181
click to vote
CSMR
2006
IEEE
16 years 16 days ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
248
click to vote
Publication
Facial feature localization is an important task in numerous applications of face image analysis that
include face recognition and verification, facial expression recognition, dr...
176
click to vote
AAI
2000
15 years 6 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...