2071 search results - page 347 / 415 » An Empirical Evaluation of LFG-DOP |
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
103
click to vote
WSDM
2012
ACM
13 years 6 months ago
2012
ACM
Most standard information retrieval models use a single source of information (e.g., the retrieval corpus) for query formulation tasks such as term and phrase weighting and query ...
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
101
click to vote
JMLR
2012
13 years 1 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
124
click to vote
PAMI
2012
13 years 1 months ago
2012
—This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...