Sciweavers

251 search results - page 42 / 51
» RGSep Action Inference
Sort
View
ESOP
2009
Springer
14 years 2 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
TABLETOP
2008
IEEE
14 years 2 months ago
ShapeTouch: Leveraging contact shape on interactive surfaces
Many interactive surfaces have the ability to detect the shape of hands or objects placed on them. However, shape information is typically either condensed to individual contact p...
Xiang Cao, Andrew D. Wilson, Ravin Balakrishnan, K...
IAT
2007
IEEE
14 years 2 months ago
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...
MRCO
2005
Springer
14 years 1 months ago
Using Activity Theory to Model Context Awareness
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
Anders Kofod-Petersen, Jörg Cassens
WECWIS
2002
IEEE
131views ECommerce» more  WECWIS 2002»
14 years 16 days ago
Mining Client-Side Activity for Personalization
“Garbage in. garbage out” is a well-known phrase in computer analysis, and one that comes to mind when mining Web data to draw conclusions about Web users. The challenge is th...
Kurt D. Fenstermacher, Mark Ginsburg