Sciweavers

3018 search results - page 180 / 604
» Leveraging the
Sort
View
ICCMS
2009
118views more  ICCMS 2009»
13 years 8 months ago
Optimized Parallel Implementation of Gillespie's First Reaction Method on Graphics Processing Units
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
Cristian Dittamo, Davide Cangelosi
ICDAR
2009
IEEE
13 years 8 months ago
Style-Based Ballot Mark Recognition
The push toward voting via hand-marked paper ballots has focused attention on the limitations of current optical scan systems. Discrepancies between human and machine interpretati...
Pingping Xiu, Daniel P. Lopresti, Henry S. Baird, ...
ICDT
2009
ACM
121views Database» more  ICDT 2009»
13 years 8 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
ICMLA
2009
13 years 8 months ago
Discovering Characterization Rules from Rankings
For many ranking applications we would like to understand not only which items are top-ranked, but also why they are top-ranked. However, many of the best ranking algorithms (e.g....
Ansaf Salleb-Aouissi, Bert C. Huang, David L. Walt...
ICWSM
2009
13 years 8 months ago
Connecting Corresponding Identities across Communities
One of the most interesting challenges in the area of social computing and social media analysis is the so-called community analysis. A well known barrier in cross-community (mult...
Reza Zafarani, Huan Liu