Sciweavers

2398 search results - page 194 / 480
» Constraint Programming and Graph Algorithms
Sort
View
KDD
2005
ACM
162views Data Mining» more  KDD 2005»
16 years 6 months ago
Discovering frequent topological structures from graph datasets
The problem of finding frequent patterns from graph-based datasets is an important one that finds applications in drug discovery, protein structure analysis, XML querying, and soc...
Ruoming Jin, Chao Wang, Dmitrii Polshakov, Sriniva...
ICDE
2007
IEEE
193views Database» more  ICDE 2007»
16 years 7 months ago
Categorization and Optimization of Synchronization Dependencies in Business Processes
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 10 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
AIRS
2006
Springer
15 years 10 months ago
Natural Document Clustering by Clique Percolation in Random Graphs
Document clustering techniques mostly depend on models that impose explicit and/or implicit priori assumptions as to the number, size, disjunction characteristics of clusters, and/...
Wei Gao, Kam-Fai Wong
ICIP
2007
IEEE
16 years 8 months ago
Multicues 2D Articulated Pose Tracking using Particle Filtering and Belief Propagation on Factor Graphs
This paper describes a method for articulated upper body tracking in monocular scenes. The compatibility between model and the image is estimated using one particle filter for eac...
Philippe Noriega, Olivier Bernier