1359 search results - page 254 / 272 » Probabilistic Points-to Analysis |
CEAS
2004
Springer
14 years 1 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
CSB
2003
IEEE
14 years 1 months ago
2003
IEEE
The promise of plentiful data on common human genetic variations has given hope that we will be able to uncover genetic factors behind common diseases that have proven difficult ...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
Wide research has been carried out and is still taking place in the field of character recognition of handwritten English characters. Recognizing English characters is much simple...