270 search results - page 31 / 54 » The Automated Text Adaptation Tool |
195
Voted
WWW
2008
ACM
15 years 5 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...
120
Voted
WWW
2008
ACM
16 years 6 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...
121
Voted
ICTAI
2008
IEEE
16 years 6 days 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...
158
click to vote
TPHOL
2007
IEEE
16 years 2 days 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...
271
Voted
ISTA
2007
15 years 7 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...