1760 search results - page 236 / 352 » Program Analysis Using Weighted Pushdown Systems |
134
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
116
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Selective pressure in molecular evolution leads to uneven distributions of amino acids and nucleotides. In fact one observes correlations among such constituents due t...
120
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
133
Voted
GEOINFO
2003
15 years 3 months ago
2003
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...
127
click to vote
ICDE
2009
IEEE
15 years 9 months ago
2009
IEEE
Applications involving analysis of data streams have gained significant popularity and importance. Frequency counting, frequent elements and top-k queries form a class of operato...