214 search results - page 28 / 43 » toms 2010 |
LREC
2010
13 years 9 months ago
2010
We describe the compilation of a large corpus of French-Dutch sentence pairs from official Belgian documents which are available in the online version of the publication Belgisch ...
TOG
2010
13 years 2 months ago
2010
Accurately rendering glossy materials in design applications, where previewing and interactivity are important, remains a major challenge. While many fast global illumination solu...
ACTA
2010
13 years 7 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
JSS
2010
13 years 2 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
CARTOGRAPHICA
2010
13 years 5 months ago
2010
For more than a century John Snow's iconic map of an 1854 cholera outbreak in the Broad Street area of Soho, London, has been the very definition of how to discover the sourc...