891 search results - page 146 / 179 » Towards Reasoning Pragmatics |
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
CRITIS
2007
15 years 1 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
AGI
2008
15 years 1 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
BCSHCI
2008
15 years 1 months ago
2008
This paper presents an exploratory study exploring the potential of audio recording as a form of sentimental memory capture. Drawing on data from four family households, we spotli...
106
click to vote
BIS
2008
15 years 1 months ago
2008
Internet user forums have been proven to be effective not just as a community meeting place but also as a supporting tool for various business products. Traditional forums are desi...