6650 search results - page 91 / 1330 » models 2009 |
142
click to vote
ICAIL
2009
ACM
16 years 27 days ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...
181
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
163
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
298
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel approach for detecting global behaviour
anomalies in multiple disjoint cameras by learning
time delayed dependencies between activities cross camera
views. Sp...
159
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...