Sciweavers

1371 search results - page 89 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
152
Voted
TMI
2010
298views more  TMI 2010»
14 years 10 months ago
An Efficient Numerical Method for General Lp Regularization in Fluorescence Molecular Tomography
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...
Jean-Charles Baritaux, Kai Hassler, Michael Unser
115
Voted
ZUM
2000
Springer
15 years 7 months ago
Formal Methods for Industrial Products
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
Susan Stepney, David Cooper
155
Voted
CVPR
2011
IEEE
14 years 7 months ago
Compact Hashing with Joint Optimization of Search Accuracy and Time
Similarity search, namely, finding approximate nearest neighborhoods, is the core of many large scale machine learning or vision applications. Recently, many research results dem...
Junfeng He, Regunathan Radhakrishnan, Shih-Fu Chan...
123
Voted
ICASSP
2009
IEEE
15 years 10 months ago
Language model transformation applied to lightly supervised training of acoustic model for congress meetings
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
Tatsuya Kawahara, Masato Mimura, Yuka Akita
129
Voted
WSC
2008
15 years 6 months ago
Federated simulations for systems of systems integration
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...