Sciweavers

3639 search results - page 188 / 728
» Provenance as Dependency Analysis
Sort
View
162
Voted
ICS
1995
Tsinghua U.
15 years 10 months ago
Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
Peng Tu, David A. Padua
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 9 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
EMNLP
2008
15 years 8 months ago
A Japanese Predicate Argument Structure Analysis using Decision Lists
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
Hirotoshi Taira, Sanae Fujita, Masaaki Nagata
180
Voted
WSC
2004
15 years 8 months ago
Analysis of Supply Chains Using System Dynamics, Neural Nets, and Eigenvalues
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
Luis Rabelo, Magdy Helal, Chalermmon Lertpattarapo...
NIPS
2003
15 years 8 months ago
Fast Algorithms for Large-State-Space HMMs with Applications to Web Usage Analysis
In applying Hidden Markov Models to the analysis of massive data streams, it is often necessary to use an artificially reduced set of states; this is due in large part to the fac...
Pedro F. Felzenszwalb, Daniel P. Huttenlocher, Jon...