3446 search results - page 362 / 690 » A Reasoning Algorithm for pD* |
182
click to vote
GBRPR
2007
Springer
16 years 25 days ago
2007
Springer
In the field of structural pattern recognition graphs constitute a very common and powerful way of representing patterns. In contrast to string representations, graphs allow us to ...
169
click to vote
ICDT
2007
ACM
16 years 25 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
180
Voted
ISVC
2007
Springer
16 years 25 days ago
2007
Springer
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
179
click to vote
LCN
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper investigates the problem of how to improve TCP performance in multi-rate Ad-hoc networks with congested links. To improve network performance, different rate adaptation...
193
click to vote
VALUETOOLS
2006
ACM
16 years 19 days ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...