Sciweavers

2194 search results - page 166 / 439
» Improving HLRTA*( k )
Sort
View
COMPGEOM
2009
ACM
15 years 8 months ago
Epsilon nets and union complexity
We consider the following combinatorial problem: given a set of n objects (for example, disks in the plane, triangles), and an integer L ≥ 1, what is the size of the smallest su...
Kasturi R. Varadarajan
IEEESCC
2005
IEEE
15 years 7 months ago
Designing Privacy Policies for Adopting RFID in the Retail Industry
Radio Frequency Identification (RFID) technologies can potentially improve the productivity of retailers. In this paper, we propose a role-based, enterprise-level, RFID-oriented p...
Haifei Li, Patrick C. K. Hung, Jia Zhang, David Ah...
CP
2005
Springer
15 years 7 months ago
Lookahead Saturation with Restriction for SAT
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...
Anbulagan, John K. Slaney
RAID
2004
Springer
15 years 7 months ago
Detecting Unknown Massive Mailing Viruses Using Proactive Methods
The detection of unknown viruses is beyond the capability of many existing virus detection approaches. In this paper, we show how proactive customization of system behaviors can be...
Ruiqi Hu, Aloysius K. Mok
ITC
2003
IEEE
113views Hardware» more  ITC 2003»
15 years 6 months ago
Fault Injection for Verifying Testability at the VHDL Level
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...
S. R. Seward, Parag K. Lala