3330 search results - page 626 / 666 » software 2010 |
135
Voted
WSDM
2010
ACM
16 years 3 days ago
2010
ACM
There has been a large amount of research on efficient document retrieval in both IR and web search areas. One important technique to improve retrieval efficiency is early termina...
116
Voted
WSDM
2010
ACM
16 years 3 days ago
2010
ACM
As the Web provides rich data embedded in the immense contents inside pages, we witness many ad-hoc efforts for exploiting fine granularity information across Web text, such as We...
130
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
139
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
153
Voted
SODA
2010
ACM
16 years 3 days ago
2010
ACM
Regular expression matching is a key task (and often computational bottleneck) in a variety of software tools and applications. For instance, the standard grep and sed utilities, ...