5525 search results - page 842 / 1105 » Verification of Model Transformations |
158
click to vote
CVIU
2010
15 years 6 months ago
2010
We consider the self-calibration problem for the generic imaging model that assigns projection rays to pixels without a parametric mapping. In this paper, we consider the central ...
164
click to vote
FUIN
2008
15 years 6 months ago
2008
Spiking neural P systems simulate the behavior of neurons sending signals through axons. Recently, some applications concerning Boolean circuits and sorting algorithms have been pr...
173
click to vote
JASIS
2008
15 years 6 months ago
2008
mation science has shown that human abstractors extract sentences for summaries based on the hierarchical structure of documents; however, the existing automatic summarization mode...
173
click to vote
IR
2006
15 years 6 months ago
2006
In this paper we describe and evaluate a Question Answering (QA) system that goes beyond answering factoid questions. Our approach to QA assumes no restrictions on the type of que...
192
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. ...