979 search results - page 64 / 196 » Presentations for Abstract Context Institutions |
TBILLC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
WG
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
ER
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...
GW
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
ICESS
2004
Springer
14 years 1 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...