Sciweavers

9730 search results - page 390 / 1946
» Relating models of backtracking
Sort
View
APWEB
2004
Springer
16 years 5 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 4 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 2 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 2 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
197
Voted
MEMOCODE
2003
IEEE
16 years 1 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