Sciweavers

327 search results - page 66 / 66
» A Theory of Information-Flow Labels
Sort
View
PPDP
2010
Springer
13 years 2 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch
WSDM
2012
ACM
296views Data Mining» more  WSDM 2012»
12 years 15 days ago
Inferring social ties across heterogenous networks
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
Jie Tang, Tiancheng Lou, Jon M. Kleinberg