2223 search results - page 186 / 445 » Events in Property Patterns |
138
Voted
FUIN
2010
15 years 28 days ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
130
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
Compressive sensing (CS) has received a lot of interest due to its compression capability and lack of complexity on the sensor side. In this paper, we present a study of three sam...
102
Voted
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
The Hermite Transform is an image representation model that incorporates some important properties of visual perception such as the analysis through overlapping receptive fields a...
136
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
142
Voted
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...