1937 search results - page 368 / 388 » Starting B Specifications from Use Cases |
103
click to vote
SIGMOD
2010
ACM
14 years 6 months ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
94
Voted
BMCBI
2007
14 years 11 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...
188
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
CEAS
2005
Springer
15 years 5 months ago
2005
Springer
Microsoft has prosecuted a vigorous civil enforcement campaign against spammers and phishers. When initial investigation into a spam or phishing case fails to reveal the identity ...
115
click to vote
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....