Sciweavers

3105 search results - page 287 / 621
» The Path-Packing Structure of Graphs
Sort
View
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 9 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
APAQS
2001
IEEE
15 years 8 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen
ESANN
2007
15 years 5 months ago
Exploring the causal order of binary variables via exponential hierarchies of Markov kernels
Abstract. We propose a new algorithm for estimating the causal structure that underlies the observed dependence among n (n ≥ 4) binary variables X1, . . . , Xn. Our inference pri...
Xiaohai Sun, Dominik Janzing
ESANN
2006
15 years 5 months ago
Cluster detection algorithm in neural networks
Complex networks have received much attention in the last few years, and reveal global properties of interacting systems in domains like biology, social sciences and technology. O...
David Meunier, Hélène Paugam-Moisy
NJC
2000
99views more  NJC 2000»
15 years 4 months ago
An Incremental Unique Representation for Regular Trees
In order to deal with infinite regular trees (or other pointed graph structures) efficiently, we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne