191 search results - page 34 / 39 » Sound for A-Life Agents |
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
In this project an interactive computer system is designed that envisions to contribute to young children's musical education. From literature, requirements for musical inter...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...