7865 search results - page 422 / 1573 » Large correlation analysis |
155
click to vote
AAAI
2011
14 years 6 months ago
2011
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
183
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
165
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
174
click to vote
GISCIENCE
2004
Springer
15 years 11 months ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
135
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Protein-protein docking for proteins with large conformational changes was analyzed by using interaction fingerprints, one of the scales for measuring similarities amo...