9405 search results - page 1577 / 1881 » Computing a Model of Set Theory |
206
click to vote
TCS
2008
15 years 6 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
175
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper, we introduce a system to virtually restore damaged or historically significant objects without needing to physically change the object in any way. Our work addresse...
176
click to vote
TOG
2008
15 years 6 months ago
2008
In late 2006, Nintendo released a new game controller, the Wiimote, which included a three-axis accelerometer. Since then, a large variety of novel applications for these controll...
149
click to vote
FOCM
2010
15 years 5 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
169
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, we analyze the impact of different automatic annotation methods on the performance of supervised approaches to the complex question answering problem (defined in th...