1015 search results - page 11 / 203 » New Area Management Method Based on |
MTA
1998
13 years 6 months ago
1998
We propose a new efficient indexing scheme, called the HG-tree, to support content-based retrieval in image databases. Image content is represented by a point in a multidimensional...
ENGL
2008
13 years 7 months ago
2008
This paper proposes the LQ-Servo controller for AQM (Active Queue Management) routers. The proposed controller structure is made by taking a traditional servo mechanism based on Li...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Network management and security is currently one of the most vibrant research areas, among which, research on detecting and identifying anomalies has attracted a lot of interest. R...
MMMACNS
2001
Springer
13 years 11 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...