Sciweavers

6020 search results - page 988 / 1204
» A New Approach to Model Counting
Sort
View
ICEIS
2005
IEEE
16 years 17 hour ago
Change Detection and Maintenance of an XML Web Warehouse
The World Wide Web contains a huge and increasing volume of information. The web warehouse is an efficient and effective means to facilitate utilization of information on the Web,...
Ching-Ming Chao
ATAL
2010
Springer
15 years 7 months ago
Narrative generation through characters' point of view
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
Julie Porteous, Marc Cavazza, Fred Charles
ICCAD
2005
IEEE
127views Hardware» more  ICCAD 2005»
16 years 3 months ago
Flip-flop insertion with shifted-phase clocks for FPGA power reduction
— Although the LUT (look-up table) size of FPGAs has been optimized for general applications, complicated designs may contain a large number of cascaded LUTs between flip-flops...
Hyeonmin Lim, Kyungsoo Lee, Youngjin Cho, Naehyuck...
CTRSA
2009
Springer
95views Cryptology» more  CTRSA 2009»
16 years 1 months ago
Statistically Hiding Sets
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...
Manoj Prabhakaran, Rui Xue
MOBIQUITOUS
2007
IEEE
16 years 21 days ago
Optimal Relay Node Fault Recovery
—Topology control problems are concerned with the assignment of power levels to the nodes of an ad-hoc network so as to maintain a specified network topology while minimizing th...
Fei Che, Liang Zhao, Errol L. Lloyd