Sciweavers

2410 search results - page 147 / 482
» Multiset Ordering Constraints
Sort
View
SPLC
2004
15 years 7 months ago
A Methodology for the Derivation and Verification of Use Cases for Product Lines
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami...
ANLP
2000
78views more  ANLP 2000»
15 years 7 months ago
Talk'N'Travel: A Conversational System For Air Travel Planning
We describe Talk'n'Travel, a spoken dialogue language system for making air travel plans over the telephone. Talk'n'Travel is a fully conversational, mixed-ini...
David Stallard
COLING
1994
15 years 7 months ago
Incremental Construction of a Lexical Transducer for Korean
The paper describes the construction of a lexical transducer for Korean that can be used for stemming and generation. The method contains two innovations: (1) two h.'vel rule...
Hyuk-Chul Kwon, Lauri Karttunen
IJCAI
1993
15 years 7 months ago
Consistency Techniques for Numeric CSPs
Many problems can be expressed in terms of a numeric constraint satisfaction problem over finite or continuous domains (numeric CSP). The purpose of this paper is to show that the...
Olivier Lhomme
AIPS
2009
15 years 7 months ago
Extended Goals for Composing Services
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
Eirini Kaldeli, Alexander Lazovik, Marco Aiello