2153 search results - page 272 / 431 » From Requirements Models to Formal Specifications in B |
175
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a hardware architecture for non-uniform random number generation, which allows the generator's distribution to be modified at run-time without reconfigura...
154
click to vote
TCSV
2010
15 years 1 months ago
2010
During the past ten years, Wyner-Ziv video coding (WZVC) has gained a lot of research interests because of its unique characteristics of "simple encoding, complex decoding&quo...
192
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper presents an automated, online approach to anomaly detection in high-content screening assays for pharmaceutical research. Online detection of anomalies is attractive be...
155
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Demand for the femtocell is largely credited to the surge in a more always best connected communication conscious public. 3GPP define new architecture and security requirement f...
144
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Google Maps and its spin-offs are highly successful, but they have a major limitation: users see only pictures of geographic data. These data are inaccessible except by limited ve...