7139 search results - page 932 / 1428 » Language Engineering in Practice |
201
Voted
CSCLP
2005
Springer
16 years 18 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
180
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...
207
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
180
click to vote
ISAS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
179
click to vote
MLCW
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...