Sciweavers

4488 search results - page 651 / 898
» Properties of NP-Complete Sets
Sort
View
OTM
2007
Springer
16 years 5 days ago
Towards Community-Based Evolution of Knowledge-Intensive Systems
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
Pieter De Leenheer, Robert Meersman
PAIRING
2007
Springer
148views Cryptology» more  PAIRING 2007»
16 years 5 days ago
Fully Collusion Secure Dynamic Broadcast Encryption with Constant-Size Ciphertexts or Decryption Keys
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
Cécile Delerablée, Pascal Paillier, ...
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 4 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
VLDB
2007
ACM
129views Database» more  VLDB 2007»
16 years 4 days ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu
WEBI
2007
Springer
16 years 4 days ago
Detection of Web Subsites: Concepts, Algorithms, and Evaluation Issues
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...
Eduarda Mendes Rodrigues, Natasa Milic-Frayling, B...