2296 search results - page 353 / 460 » The Expressive Power of Synchronizations |
137
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In our recent work [1], [2], we proposed Point Feature Histograms (PFH) as robust multi-dimensional features which describe the local geometry around a point p for 3D point clo...
134
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
164
click to vote
ACML
2009
Springer
15 years 11 months ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...
137
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
158
click to vote
DEXA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...