190 search results - page 20 / 38 » Towards model checking interpreted systems |
FGR
2006
IEEE
13 years 11 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
SG
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
ENTCS
2007
13 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
FOIS
2010
13 years 8 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...