Sciweavers

6598 search results - page 137 / 1320
» Graph Theory with Applications
Sort
View
158
Voted
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 2 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
117
Voted
RECOMB
2010
Springer
15 years 11 months ago
Dense Subgraphs with Restrictions and Applications to Gene Annotation Graphs
Abstract. In this paper, we focus on finding complex annotation patterns representing novel and interesting hypotheses from gene annotation data. We define a generalization of th...
Barna Saha, Allison Hoch, Samir Khuller, Louiqa Ra...
107
Voted
MTSR
2007
Springer
15 years 10 months ago
Formalizing Dublin Core Application Profiles - Description Set Profiles and Graph Constraints
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
Mikael Nilsson, Alistair J. Miles, Pete Johnston, ...
155
Voted
EUROPAR
1998
Springer
15 years 8 months ago
Analysing an SQL Application with a BSPlib Call-Graph Profiling Tool
This paper illustrates the use of a post-mortem call-graph profiling tool in the analysis of an SQL query processing application written using BSPIib [4]. Unlike other parallel pro...
Jonathan M. D. Hill, Stephen A. Jarvis, Constantin...
CVPR
2008
IEEE
16 years 6 months ago
Graph cut with ordering constraints on labels and its applications
In the last decade, graph-cut optimization has been popular for a variety of pixel labeling problems. Typically graph-cut methods are used to incorporate a smoothness prior on a l...
Xiaoqing Liu, Olga Veksler, Jagath Samarabandu