Sciweavers

674 search results - page 50 / 135
» From Constructibility and Absoluteness to Computability and ...
Sort
View
FOCM
2011
188views more  FOCM 2011»
14 years 5 months ago
Compressive Wave Computation
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
Laurent Demanet, Gabriel Peyré
ECCV
2008
Springer
15 years 3 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
AFRIGRAPH
2007
ACM
15 years 6 months ago
Generic computation of bulletin boards into geometric kernels
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
CVPR
2006
IEEE
16 years 4 months ago
Local Features, All Grown Up
We present a technique to adapt the domain of local features through the matching process to augment their discriminative power. We start with local affine features selected and n...
Andrea Vedaldi, Stefano Soatto
POPL
2009
ACM
16 years 2 months ago
Modular code generation from synchronous block diagrams: modularity vs. code size
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
Roberto Lublinerman, Christian Szegedy, Stavros Tr...