Sciweavers

1370 search results - page 147 / 274
» Towards Automatic Generation of Natural Language Generation ...
Sort
View
WER
2004
Springer
15 years 11 months ago
Towards Requirement Traceability in TROPOS
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
Andréa Castor, Rosa Pinto, Carla T. L. L. S...
ELPUB
1999
ACM
15 years 10 months ago
The S-Link-S Framework for Reference Linking: Architecture and Implementation
The Scholarly Link Specification (S-Link-S™) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...
Eric Hellman
JUCS
2010
139views more  JUCS 2010»
15 years 4 months ago
LemmaGen: Multilingual Lemmatisation with Induced Ripple-Down Rules
: Lemmatisation is the process of finding the normalised forms of words appearing in text. It is a useful preprocessing step for a number of language engineering and text mining t...
Matjaz Jursic, Igor Mozetic, Tomaz Erjavec, Nada L...
SEMCO
2007
IEEE
16 years 19 days ago
Harnessing Language in Mobile Environments
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
Boris Katz, Gary C. Borchardt, Sue Felshin, Federi...
ICLP
2007
Springer
16 years 16 days ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...