Sciweavers

3001 search results - page 450 / 601
» Recursive type generativity
Sort
View
EUROSYS
2007
ACM
15 years 10 months ago
Automatic configuration of internet services
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
Wei Zheng, Ricardo Bianchini, Thu D. Nguyen
ICMCS
2007
IEEE
122views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Bit Depth Scalable Coding
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...
Yuwen Wu, Yongying Gao, Ying Chen
AI
2006
Springer
15 years 10 months ago
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT
Stochastic local search (SLS) methods are underlying some of the best-performing algorithms for certain types of SAT instances, both from an empirical as well as from a theoretical...
Dave A. D. Tompkins, Holger H. Hoos
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
AUSDM
2006
Springer
85views Data Mining» more  AUSDM 2006»
15 years 10 months ago
A Framework of Combining Markov Model With Association Rules for Predicting Web Page Accesses
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
Faten Khalil, Jiuyong Li, Hua Wang