366 search results - page 64 / 74 » Syntactic Abstraction of B Models to Generate Tests |
101
click to vote
ICASSP
2010
IEEE
15 years 19 days 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...
146
Voted
DILS
2004
Springer
15 years 4 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...
125
click to vote
AMFG
2005
IEEE
15 years 2 months 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...
117
Voted
SIGMETRICS
2008
ACM
15 years 11 days 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...
121
Voted
ICRA
2010
IEEE
14 years 11 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...