Sciweavers

762 search results - page 18 / 153
» Finding SHA-1 Characteristics: General Results and Applicati...
Sort
View
MICRO
2009
IEEE
132views Hardware» more  MICRO 2009»
14 years 2 months ago
Finding concurrency bugs with context-aware communication graphs
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
Brandon Lucia, Luis Ceze
ICAIL
2009
ACM
14 years 1 months ago
Integrating induction and deduction for finding evidence of discrimination
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
Dino Pedreschi, Salvatore Ruggieri, Franco Turini
MIR
2004
ACM
101views Multimedia» more  MIR 2004»
14 years 23 days ago
Leveraging face recognition technology to find and organize photos
With digital still cameras, users can easily collect thousands of photos. We have created a photo management application with the goal of making photo organization and browsing si...
Andreas Girgensohn, John Adcock, Lynn Wilcox
SIAMSC
2008
90views more  SIAMSC 2008»
13 years 7 months ago
Norm Preconditioners for Discontinuous Galerkin hp-Finite Element Methods
We consider a norm-preconditioning approach for the solution of discontinuous Galerkin finite element discretizations of second order PDE with non-negative characteristic form. In ...
Emmanuil H. Georgoulis, Daniel Loghin
ICALT
2007
IEEE
13 years 9 months ago
Semantic Relation Analysis and Its Application in Cognitive Profiling
Semantic web is an emerging paradigm that has great potential for the management of web content in a meaningful manner. With more and more semantic information appended to web, th...
Taiyu Lin, Kinshuk, Sabine Graf