270 search results - page 31 / 54 » The Automated Text Adaptation Tool |
128
Voted
WWW
2008
ACM
15 years 11 days 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...
73
Voted
WWW
2008
ACM
16 years 1 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...
64
Voted
ICTAI
2008
IEEE
15 years 7 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...
104
Voted
TPHOL
2007
IEEE
15 years 6 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...
174
Voted
ISTA
2007
15 years 1 months 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...