478 search results - page 64 / 96 » Formal Modelling of Cognitive Interpretation |
161
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
116
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
139
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
130
Voted
SOCIALCOM
2010
15 years 1 months ago
2010
Multiple phenomena often diffuse through a social network, sometimes in competition with one another. Product adoption and political elections are two examples where network diffus...
129
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...