3238 search results - page 471 / 648 » On the Computational Interpretation of Negation |
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
167
click to vote
CSE
2008
IEEE
15 years 6 months ago
2008
IEEE
The Sloan Digital Sky Survey (SDSS) Data Archive Server (DAS) provides public access to over 12Tb of data in 17 million files produced by the SDSS data reduction pipeline. Many tas...
187
click to vote
CVIU
2006
15 years 6 months ago
2006
Action recognition is an important and challenging topic in computer vision, with many important applications including video surveillance, automated cinematography and understand...
206
click to vote
CGF
2007
15 years 6 months ago
2007
Recently, several real-time soft shadow algorithms have been introduced which all compute a single shadow map and use its texels to obtain a discrete scene representation. The res...
170
click to vote
JFP
2008
15 years 6 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...