Sciweavers

2152 search results - page 60 / 431
» An Abstract Account of Composition
Sort
View
VSTTE
2010
Springer
14 years 10 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
GI
2010
Springer
14 years 9 months ago
Elicitation of Preferences for Web Service Compositions
Abstract: Preference elicitation is often used in e-services to create product recommendations for their customers. We present an approach for applying preference elicitation techn...
Carolin Michels, Sudhir Agarwal
BPM
2010
Springer
147views Business» more  BPM 2010»
14 years 10 months ago
From People to Services to UI: Distributed Orchestration of User Interfaces
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
Florian Daniel, Stefano Soi, Stefano Tranquillini,...
ACL
2011
14 years 3 months ago
A Large Scale Distributed Syntactic, Semantic and Lexical Language Model for Machine Translation
This paper presents an attempt at building a large scale distributed composite language model that simultaneously accounts for local word lexical information, mid-range sentence s...
Ming Tan, Wenli Zhou, Lei Zheng, Shaojun Wang
TBILLC
2007
Springer
15 years 6 months ago
Implicatures of Irrelevant Answers and the Principle of Optimal Completion
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...
Anton Benz