Sciweavers

6960 search results - page 912 / 1392
» Continuity Analysis of Programs
Sort
View
153
Voted
ICPR
2000
IEEE
16 years 7 months ago
Automatic Video Scene Extraction by Shot Grouping
For more efficient organizing, browsing, and retrieving digital video content, it is important to extract video structure information at both scene and shot levels. This paper pre...
Tong Lin, HongJiang Zhang
SIGSOFT
2007
ACM
16 years 7 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner
WWW
2006
ACM
16 years 7 months ago
Detecting nepotistic links by language model disagreement
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
András A. Benczúr, István B&i...
STOC
2005
ACM
167views Algorithms» more  STOC 2005»
16 years 6 months ago
Approximately counting integral flows and cell-bounded contingency tables
We consider the problem of approximately counting integral flows in a network. We show that there is an fpras based on volume estimation if all capacities are sufficiently large, ...
Mary Cryan, Martin E. Dyer, Dana Randall
ASM
2010
ASM
16 years 3 months ago
Lightweight Modeling of Java Virtual Machine Security Constraints
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
Mark C. Reynolds