4926 search results - page 658 / 986 » Two Graph Algorithms On an Associative Computing Model |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
DASFAA
2011
IEEE
13 years 6 days ago
2011
IEEE
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In this paper, we propose a new similarity measure to compute the pairwise similarity of text-based documents based on suffix tree document model. By applying the new suffix tree ...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Part of the motivation behind the evolution of learning environments is the idea of providing students with individualized instructional strategies that allow them to learn as much...