3745 search results - page 101 / 749 » Sonic: System Description |
222
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
149
click to vote
ANLP
1992
15 years 7 months ago
1992
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...
181
click to vote
SIAMAM
2000
15 years 6 months ago
2000
A nonlinear multiscale technique is used to describe the time history of a spatially homogeneous chain-branching/chain-breaking explosion when chain branching is much faster than c...
210
click to vote
RTA
2011
Springer
14 years 9 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
162
click to vote
ACL
1997
15 years 7 months ago
1997
We present preliminary results concerning robust techniques for resolving bridging definite descriptions. We report our analysis of a collection of 20 Wall Street Journal articles...