Sciweavers

2410 search results - page 206 / 482
» Multiset Ordering Constraints
Sort
View
WETICE
2005
IEEE
15 years 12 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
CLEF
2005
Springer
15 years 12 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
ISMIR
2005
Springer
120views Music» more  ISMIR 2005»
15 years 12 months ago
User Evaluation of a New Interactive Playlist Generation Concept
Selecting the ‘right’ songs and putting them in the ‘right’ order are key to a great music listening or dance experience. ‘SatisFly’ is an interactive playlist generat...
Steffen Pauws, Sander van de Wijdeven
ATAL
2004
Springer
15 years 11 months ago
Contract Model for Agent Mediated Electronic Commerce
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
Benjamin Gâteau, Djamel Khadraoui, Olivier B...
EVOW
2004
Springer
15 years 11 months ago
Solving a Real-World Glass Cutting Problem
We consider the problem of finding two-dimensional cutting patterns for glass sheets in order to produce rectangular elements requested by customers. The number of needed sheets, ...
Jakob Puchinger, Günther R. Raidl, Gabriele K...