Sciweavers

3775 search results - page 507 / 755
» The Expression Problem Revisited
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
On the construction of low-pass filters on the unit sphere
This paper considers the problem of construction of low-pass filters on the unit sphere, which has wide ranging applications in the processing of signals on the unit sphere. We p...
Zubair Khalid, Salman Durrani, Rodney A. Kennedy, ...
IEAAIE
2011
Springer
14 years 10 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
SCHOLARPEDIA
2011
14 years 9 months ago
N-body simulations
Abstract. Scientists’ ability to generate and collect massive-scale datasets is increasing. As a result, constraints in data analysis capability rather than limitations in the av...
ICCV
2011
IEEE
14 years 6 months ago
Face Reconstruction in the Wild
We address the problem of reconstructing 3D face models from large unstructured photo collections, e.g., obtained by Google image search or from personal photo collections in iPho...
Ira Kemelmacher-Shlizerman, Steven Seitz
FOSSACS
2012
Springer
14 years 2 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi