270 search results - page 31 / 54 » The Automated Text Adaptation Tool |
WWW
2008
ACM
13 years 10 months ago
2008
ACM
Automated techniques and tools are required to effectively locate services that fulfill a given user request in a mobility context. To this purpose, the use of semantic description...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
ICTAI
2008
IEEE
14 years 5 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
ISTA
2007
14 years 8 days ago
2007
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...