1746 search results - page 331 / 350 » On the expressiveness of interaction |
IVA
2005
Springer
14 years 27 days ago
2005
Springer
If intelligent virtual agents are to become widely adopted it is vital that they can be designed using the user friendly graphical tools that are used in other areas of graphics. H...
SPIN
2005
Springer
14 years 26 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
ISSTA
2004
ACM
14 years 25 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
ADC
2004
Springer
14 years 24 days ago
2004
Springer
Recently the concept of a clarity score was introduced in order to measure the ambiguity of a query in relation to the collection in which the query issuer is seeking information ...
AMAI
2004
Springer
14 years 24 days ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...