4008 search results - page 454 / 802 » An expressive language of signatures |
166
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
138
click to vote
CLEF
2003
Springer
16 years 1 days ago
2003
Springer
Motivated by the hypothesis that the retrieval performance of a weighting model is independent of the language in which queries and collection are expressed, we compared the retrie...
155
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
192
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
177
click to vote
ECML
2003
Springer
16 years 1 days ago
2003
Springer
Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of n...