489 search results - page 39 / 98 » Support tools for graphs in computer science |
104
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of finding an unknown graph by using two types of queries with an additive property. Given a graph, an additive query asks the number of edges in a set of ...
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
GI
2005
Springer
15 years 6 months ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
115
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...