Sciweavers

48 search results - page 3 / 10
» fm 2009
Sort
View
FM
2009
Springer
90views Formal Methods» more  FM 2009»
13 years 12 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
MOBILWARE
2009
ACM
13 years 11 months ago
FINDR: Low-Cost Indoor Positioning Using FM Radio
Andrei Papliatseyeu, Niko Kotilainen, Oscar Mayora...
ICIP
2009
IEEE
13 years 3 months ago
FM filters for modulation domain image processing
For the first time, we demonstrate modulation domain image filters that achieve perceptually motivated image processing goals by directly manipulating the FM functions in a multi-...
Chuong T. Nguyen, Patrick A. Campbell, Joseph P. H...
ICB
2009
Springer
194views Biometrics» more  ICB 2009»
13 years 12 months ago
FM Model Based Fingerprint Reconstruction from Minutiae Template
Minutiae-based representation is the most widely adopted fingerprint representation scheme. The compactness of minutiae template has created an impression that the minutiae templa...
Jianjiang Feng, Anil K. Jain
FM
2009
Springer
118views Formal Methods» more  FM 2009»
13 years 12 months ago
Abstract Object Creation in Dynamic Logic
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe