827 search results - page 11 / 166 » Patterns for Timed Property Specifications |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In an OFDM system, channel estimation can be considered as sampling the time-frequency response of the channel through a number of known pilot symbols placed across the time-fr...
ECCC
2010
14 years 12 months ago
2010
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad "...
118
click to vote
TMI
2010
14 years 6 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
103
click to vote
MOBISYS
2009
ACM
16 years 9 days ago
2009
ACM
The extraction of temporal characteristics from sensor data streams can reveal important properties about the sensed events. Knowledge of temporal characteristics in applications ...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...