Sciweavers

34 search results - page 2 / 7
» fm 2006
Sort
View
ASPDAC
2006
ACM
115views Hardware» more  ASPDAC 2006»
13 years 10 months ago
Hardware implementation of super minimum all digital FM demodulator
– We propose improvement of the new architecture of digital FM demodulator. This work enhances signal quality, system clock frequency, and superior than well known PLL technique ...
Nursani Rahmatullah, Arif E. Nugroho
ICPR
2006
IEEE
14 years 5 months ago
Fundamental Matrix Estimation via TIP - Transfer of Invariant Parameters
The fundamental matrix (FM) represents the perspective transform between two or more uncalibrated images of a stationary scene, and is traditionally estimated based on 2parameter ...
Frank Riggi, Matthew Toews, Tal Arbel
FM
2006
Springer
97views Formal Methods» more  FM 2006»
13 years 8 months ago
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
Ioannis T. Kassios
FM
2006
Springer
112views Formal Methods» more  FM 2006»
13 years 8 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...
FM
2006
Springer
169views Formal Methods» more  FM 2006»
13 years 8 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks