22909 search results - page 88 / 4582 » A System of Interaction and Structure |
132
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
137
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...
146
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
135
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Recent approaches for linking paper and digital information or services tend to be based on a one-time publishing of digital information where changes to the printed document beco...
146
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
Dialog modeling in robotics suffers from lack of generalizability, due to the fact that the dialog is heavily influenced by the tasks the robot is able to perform. We introduce in...