Sciweavers

4762 search results - page 844 / 953
» About the use of protein models
Sort
View
EATCS
2000
85views more  EATCS 2000»
15 years 1 months ago
A New Zero-One Law and Strong Extension Axioms
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
Andreas Blass, Yuri Gurevich
JCST
2000
124views more  JCST 2000»
15 years 1 months ago
Distributed and Cooperative Information Retrieval on the World Wide Web
: A mass of heterogeneous, distributed and dynamic information on the World Wide Web (the Web) has resulted in "information overload". It's an important and urgent r...
Jicheng Wang, Xiangyu Jin, Yang Xiaojiang, Fuyan Z...
AGIS
1998
169views more  AGIS 1998»
15 years 29 days ago
The Configuration and Implementation of a Hybrid 3-D GIS for Urban Data Management
With the development of modern cities, 3-D spatial information systems (SIS) are increasingly required for spatial planning, communication systems and other applications. The geom...
Xinhua Wang, Armin Gruen
MIDDLEWARE
2010
Springer
14 years 11 months ago
dFault: Fault Localization in Large-Scale Peer-to-Peer Systems
Distributed hash tables (DHTs) have been adopted as a building block for large-scale distributed systems. The upshot of this success is that their robust operation is even more imp...
Pawan Prakash, Ramana Rao Kompella, Venugopalan Ra...
PCM
2010
Springer
183views Multimedia» more  PCM 2010»
14 years 11 months ago
Fast H.264 Encoding Based on Statistical Learning
Abstract. In this paper, we propose an efficient video coding system that applies statistical learning methods to reduce the computational cost in H.264 encoder. The proposed metho...
Chen-Kuo Chiang, Shang-Hong Lai