Sciweavers

7785 search results - page 1262 / 1557
» The Concept of Dynamic Analysis
Sort
View
215
Voted
PPOPP
2011
ACM
14 years 9 months ago
Cooperative reasoning for preemptive execution
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
ICDAR
2011
IEEE
14 years 6 months ago
Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Charac
— In Handwritten Character Recognition, zoning is rigtly considered as one of the most effective feature extraction techniques. In the past, many zoning methods have been propose...
Sebastiano Impedovo, Giuseppe Pirlo
ICDAR
2011
IEEE
14 years 6 months ago
Math Spotting: Retrieving Math in Technical Documents Using Handwritten Query Images
—A method for locating mathematical expressions in document images without the use of optical character recognition is presented. An index of document regions is produced from re...
Richard Zanibbi, Li Yu
PLDI
2012
ACM
13 years 9 months ago
Fast and precise hybrid type inference for JavaScript
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
Brian Hackett, Shu-yu Guo
SIGIR
2012
ACM
13 years 9 months ago
Building reputation and trust using federated search and opinion mining
The term online reputation addresses trust relationships amongst agents in dynamic open systems. These can appear as ratings, recommendations, referrals and feedback. Several repu...
Somayeh Khatiban
« Prev « First page 1262 / 1557 Last » Next »