Sciweavers

9730 search results - page 390 / 1946
» Relating models of backtracking
Sort
View
APWEB
2004
Springer
16 years 16 days ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi
GISCIENCE
2004
Springer
101views GIS» more  GISCIENCE 2004»
16 years 15 days ago
Modeling Surface Hydrology Concepts with Endurance and Perdurance
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...
Chen-Chieh Feng, Thomas Bittner, Douglas M. Flewel...
AMFG
2003
IEEE
151views Biometrics» more  AMFG 2003»
16 years 13 days ago
Illumination Modeling and Normalization for Face Recognition
In this paper, we present a general framework for face modeling under varying lighting conditions. First, we show that a face lighting subspace can be constructed based on three o...
Haitao Wang, Stan Z. Li, Yangsheng Wang, Weiwei Zh...
ICALT
2003
IEEE
16 years 13 days ago
A Conformance Test Suite of Localized LOM Model
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
Xin Xiang, Yuanchun Shi, Ling Guo
MEMOCODE
2003
IEEE
16 years 12 days ago
Methods for exploiting SAT solvers in unbounded model checking
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
Kenneth L. McMillan