Sciweavers

1387 search results - page 204 / 278
» Effective Generalization of Relational Descriptions
Sort
View
WWW
2004
ACM
14 years 10 months ago
Specifying Semantic Email Processes
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
Luke McDowell, Oren Etzioni, Alon Y. Halevy
POPL
2009
ACM
14 years 10 months ago
Semi-sparse flow-sensitive pointer analysis
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
Ben Hardekopf, Calvin Lin
ICLP
2009
Springer
14 years 10 months ago
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
Neng-Fa Zhou
CAV
2009
Springer
134views Hardware» more  CAV 2009»
14 years 10 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
KDD
2009
ACM
192views Data Mining» more  KDD 2009»
14 years 10 months ago
Co-evolution of social and affiliation networks
In our work, we address the problem of modeling social network generation which explains both link and group formation. Recent studies on social network evolution propose generati...
Elena Zheleva, Hossam Sharara, Lise Getoor