3053 search results - page 476 / 611 » Structured Objects: Modeling and Reasoning |
113
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
122
Voted
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
167
click to vote
DEBU
2010
15 years 1 months ago
2010
The proliferation of knowledge-sharing communities like Wikipedia and the advances in automated information extraction from Web pages enable the construction of large knowledge ba...
131
Voted
KDD
2009
ACM
16 years 2 months ago
2009
ACM
A heterogeneous information network is an information network composed of multiple types of objects. Clustering on such a network may lead to better understanding of both hidden s...
124
click to vote
ESA
2003
Springer
15 years 7 months ago
2003
Springer
We propose a new complexity measure for movement of objects, the smoothed motion complexity. Many applications are based on algorithms dealing with moving objects, but usually data...