Sciweavers

1931 search results - page 183 / 387
» Why we blog
Sort
View
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
15 years 8 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
EMNLP
2008
15 years 8 months ago
Adapting a Lexicalized-Grammar Parser to Contrasting Domains
Most state-of-the-art wide-coverage parsers are trained on newspaper text and suffer a loss of accuracy in other domains, making parser adaptation a pressing issue. In this paper ...
Laura Rimell, Stephen Clark
INTERACT
2007
15 years 8 months ago
Cultural Mobilities: Diversity and Agency in Urban Computing
The rise of wireless networks and portable computing devices has been accompanied by an increasing interest in technology and mobility, and in the urban environment as a site of in...
Paul Dourish, Ken Anderson, Dawn Nafus
AAAI
2006
15 years 8 months ago
Deciding Semantic Matching of Stateless Services
We present a novel approach to describe and reason about stateless information processing services. It can be seen as an extension of standard descriptions which makes explicit th...
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Hor...
ICAI
2004
15 years 8 months ago
Plan Understanding: Inferring Implicit Dependencies from Explicit Elements in Multi-Agent Plan Representations
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...
James P. Allen, Phil DiBona