Sciweavers

3471 search results - page 103 / 695
» Obstacle Numbers of Graphs
Sort
View
CAV
2010
Springer
153views Hardware» more  CAV 2010»
14 years 1 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
BPM
2008
Springer
136views Business» more  BPM 2008»
13 years 11 months ago
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
Karen Marie Lyng, Thomas Hildebrandt, Raghava Rao ...
DM
2008
88views more  DM 2008»
13 years 9 months ago
Packing triangles in low degree graphs and indifference graphs
We consider the problems of finding the maximum number of vertex-disjoint triangles (VTP) and edge-disjoint triangles (ETP) in a simple graph. Both problems are NP-hard. The algor...
Gordana Manic, Yoshiko Wakabayashi
CAAN
2007
Springer
14 years 3 months ago
Vertex Pursuit Games in Stochastic Network Models
Abstract. Random graphs with given expected degrees G(w) were introduced by Chung and Lu so as to extend the theory of classical G(n, p) random graphs to include random power law g...
Anthony Bonato, Pawel Pralat, Changping Wang
EDBT
2009
ACM
241views Database» more  EDBT 2009»
14 years 4 months ago
GADDI: distance index based subgraph matching in biological networks
Currently, a huge amount of biological data can be naturally represented by graphs, e.g., protein interaction networks, gene regulatory networks, etc. The need for indexing large ...
Shijie Zhang, Shirong Li, Jiong Yang