4231 search results - page 613 / 847 » Using Language More Responsibly |
111
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
113
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
142
click to vote
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
Pseudo feedback is a commonly used technique to improve information retrieval performance. It assumes a few top-ranked documents to be relevant, and learns from them to improve th...
141
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
145
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...