Sciweavers

2272 search results - page 275 / 455
» Capture Complexity by Partition
Sort
View
PODS
2009
ACM
122views Database» more  PODS 2009»
16 years 4 months ago
Satisfiability of downward XPath with data equality tests
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
Diego Figueira
KDD
2007
ACM
154views Data Mining» more  KDD 2007»
16 years 3 months ago
An event-based framework for characterizing the evolutionary behavior of interaction graphs
Interaction graphs are ubiquitous in many fields such as bioinformatics, sociology and physical sciences. There have been many studies in the literature targeted at studying and m...
Sitaram Asur, Srinivasan Parthasarathy, Duygu Ucar
213
Voted
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 3 months ago
Efficient provenance storage
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
Adriane Chapman, H. V. Jagadish, Prakash Ramanan
PODS
2008
ACM
204views Database» more  PODS 2008»
16 years 3 months ago
Annotated XML: queries and provenance
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
J. Nathan Foster, Todd J. Green, Val Tannen
142
Voted
ISQED
2010
IEEE
151views Hardware» more  ISQED 2010»
15 years 10 months ago
Leakage temperature dependency modeling in system level analysis
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...
Huang Huang, Gang Quan, Jeffrey Fan