5634 search results - page 396 / 1127 » About Abstract Classes |
199
click to vote
MASCOTS
2010
15 years 8 months ago
2010
Abstract--We present Barra, a simulator of Graphics Processing Units (GPU) tuned for general purpose processing (GPGPU). It is based on the UNISIM framework and it simulates the na...
135
click to vote
LREC
2008
15 years 8 months ago
2008
Arrau is a new corpus annotated for anaphoric relations, with information about agreement and explicit representation of multiple nts for ambiguous anaphoric expressions and disco...
168
click to vote
IPCV
2007
15 years 8 months ago
2007
Abstract - We propose a new method for image segmentation based on a variational regularization algorithm for image denoising. We modify the Rudin-Osher-Fatemi (ROF) model in [1] b...
167
click to vote
CATS
2006
15 years 8 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...
181
click to vote
DATESO
2006
15 years 8 months ago
2006
Abstract. The aim of the article is to summarize and compare approaches of design and architecture of native XML databases. We discuss our results accomplished by utilizing the INE...