6829 search results - page 68 / 1366 » Quantitative Generalizations of Languages |
94
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
107
Voted
EMNLP
2010
14 years 10 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
122
click to vote
IR
2010
14 years 11 months ago
2010
Recently direct optimization of information retrieval (IR) measures becomes a new trend in learning to rank. Several methods have been proposed and the effectiveness of them has ...
118
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
119
Voted
KI
2005
Springer
15 years 6 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...