302 search results - page 8 / 61 » An approach to synthesise safe systems |
106
click to vote
MKM
2007
Springer
15 years 6 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
BMVC
2002
15 years 2 months ago
2002
We consider the problem of learning how a person's face behaves in a long video sequence, with the aim of synthesising convincing sequences demonstrating the same behaviours....
97
Voted
TCIAIG
2010
14 years 7 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
107
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
106
click to vote
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...