8917 search results - page 449 / 1784 » Abstraction in Algorithm Animation |
163
click to vote
SPIRE
2004
Springer
16 years 5 days ago
2004
Springer
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...
214
click to vote
SBBD
2008
15 years 8 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...
140
click to vote
ESA
2010
Springer
15 years 8 months ago
2010
Springer
abstract appeared in Proc. 24th Annual Symposium of Computational Geometry (SoCG), 2008, pp. 338-345. S. Shannigrahi and S. P. Pal, "Efficient Prufer-like Coding and Counting ...
199
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
174
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...