18 search results - page 3 / 4 » Realizing Correspondences in Multi-viewpoint Specifications |
CSE
2009
IEEE
14 years 10 months ago
2009
IEEE
Every moment, millions of people worldwide are communicating and sharing content online. We express ourselves online to enrich existing relationships and establish new relationship...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant " space, ...
LREC
2010
14 years 11 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
POPL
2010
ACM
15 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The notion of using context information for solving highlevel vision problems has been increasingly realized in the field. However, how to learn an effective and efficient context...