3639 search results - page 726 / 728 » Provenance as Dependency Analysis |
118
click to vote
PLDI
2011
ACM
14 years 12 days ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
110
click to vote
PLDI
2011
ACM
14 years 12 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
SCIENTOMETRICS
2011
14 years 12 days ago
2011
Abstract We studied the effect on journal impact factors (JIF) of citations from documents labeled as articles and reviews (usually peer reviewed) versus citations coming from othe...
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...
194
click to vote
COCOA
2011
Springer
13 years 9 months ago
2011
Springer
Biological networks are commonly used to model molecular activity within the cell. Recent experimental studies have shown that the detection of conserved subnetworks across several...