Sciweavers

931 search results - page 73 / 187
» aim 2005
Sort
View
IFIP
2005
Springer
14 years 3 months ago
Voting Technologies and Trust
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
Brian Randell, Peter Y. A. Ryan
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
14 years 3 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
IJCNLP
2005
Springer
14 years 3 months ago
Lexical Choice via Topic Adaptation for Paraphrasing Written Language to Spoken Language
Our research aims at developing a system that paraphrases written language text to spoken language style. In such a system, it is important to distinguish between appropriate and i...
Nobuhiro Kaji, Sadao Kurohashi
INTETAIN
2005
Springer
14 years 3 months ago
Webcrow: A Web-Based Crosswords Solver
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
Giovanni Angelini, Marco Ernandes, Marco Gori
INTETAIN
2005
Springer
14 years 3 months ago
PeaceMaker: A Video Game to Teach Peace
PeaceMaker is a computer game simulation of the Israeli-Palestinian conflict. It is a tool that can be used to teach Israeli and Palestinian teenagers how both sides can work toget...
Asi Burak, Eric Keylor, Tim Sweeney