7215 search results - page 1083 / 1443 » On the Consistency of Ranking Algorithms |
144
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
172
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
182
click to vote
WDAG
2010
Springer
15 years 5 months ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...
214
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
176
click to vote
AIRS
2010
Springer
15 years 4 months ago
2010
Springer
Many tasks of information extraction or natural language processing have a property that the data naturally consist of several views--disjoint subsets of features. Specifically, a ...