3446 search results - page 385 / 690 » A Reasoning Algorithm for pD* |
156
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the high cost problem of ternary CAM, we proposed a new technique for providing a compaction routing table. With the comparisons with existing algorithms, our new tec...
172
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
168
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
184
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
175
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract- This paper considers the centralized spectrum allocations in resource-constrained wireless sensor networks with the following goals: (1) allocate spectrum as fairly as po...