535 search results - page 51 / 107 » Do we need dependent types |
PKDD
2009
Springer
14 years 2 months ago
2009
Springer
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to pla...
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
CSMR
2000
IEEE
14 years 3 days ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
APGV
2008
ACM
13 years 9 months ago
2008
ACM
Most head-mounted displays (HMDs) suffer from substantial optical distortion, and vendor-supplied specifications for field-of-view often are at variance with reality. Such display...
LREC
2008
13 years 9 months ago
2008
This paper describes the evaluation methodology used to evaluate the TC-STAR speech-to-speech translation (SST) system and their results from the third year of the project. It fol...