771 search results - page 123 / 155 » Modelling and Analysing Socio-Technical Systems |
PKDD
1999
Springer
15 years 3 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
95
Voted
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
ACMACE
2008
ACM
15 years 24 days ago
2008
ACM
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
ATAL
2008
Springer
15 years 24 days ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
LREC
2010
15 years 7 days ago
2010
We present LIPS (Lexical Isolation Point Software), a tool for accurate lexical isolation point (IP) prediction in recordings of speech. The IP is the point in time in which a wor...