3346 search results - page 385 / 670 » A Generic Rendering System |
147
click to vote
COLING
2010
15 years 1 months ago
2010
We introduce the novel problem of automatic related work summarization. Given multiple articles (e.g., conference/journal papers) as input, a related work summarization system cre...
166
click to vote
NHM
2010
15 years 1 months ago
2010
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
267
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper demonstrates a system for the automatic extraction of novelty in images captured from a small video camera attached to a subject’s chest, replicating his visual persp...
207
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...