1253 search results - page 211 / 251 » Studying Software Evolution for Taming Software Complexity |
127
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...
134
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Data from metabolomic studies are typically complex and high-dimensional. Principal component analysis (PCA) is currently the most widely used statistical technique fo...
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
138
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
206
click to vote
WEA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The disjoint-set data structure is used to maintain a collection of non-overlapping sets of elements from a finite universe. Algorithms that operate on this data structu...