366 search results - page 64 / 74 » Syntactic Abstraction of B Models to Generate Tests |
89
Voted
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
A key step in distributed video coding is the generation of the side information (SI) i.e. the estimation of the Wyner-Ziv frame (WZF). This step is also frequently called image i...
122
click to vote
DILS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
105
click to vote
AMFG
2005
IEEE
15 years 2 days ago
2005
IEEE
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
100
click to vote
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...