314 search results - page 32 / 63 » On Tools for Analysis of Collaborative Problem Solving |
BMCBI
2008
14 years 12 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...
KES
2005
Springer
15 years 5 months ago
2005
Springer
In daily life, people spend a lot of time in group activities, such as communication, debate, collaboration and consensus achieving for problem solving where creative ideas are exp...
123
click to vote
PASTE
1998
ACM
15 years 3 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
114
click to vote
CHARME
1995
Springer
15 years 3 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
106
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...