489 search results - page 53 / 98 » Support tools for graphs in computer science |
111
click to vote
STOC
2009
ACM
15 years 8 months ago
2009
ACM
A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned...
119
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
135
click to vote
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
113
click to vote
GI
2004
Springer
15 years 6 months ago
2004
Springer
: The need for demand-driven and scaleable integration of heterogeneous data sources is inherent to the process of genome annotation. In this paper we describe the Gene-EYe archite...
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...