687 search results - page 126 / 138 » Specification and Verification of Model Transformations Usin... |
ASE
2002
13 years 8 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
FGR
2008
IEEE
13 years 10 months ago
2008
IEEE
In this paper, we introduce a new system for profilebased face recognition. The specific scenario involves a driver entering a gated area and using his/her sideview image (the dri...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
IADIS
2004
13 years 10 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
IPMI
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, we study the recognition of about 60 sulcal structures over a new T1 MRI database of 62 subjects. It continues our previous work [7] and more specifically extends th...