Sciweavers

152 search results - page 12 / 31
» ai 2004
Sort
View
AI
2004
Springer
14 years 3 months ago
The Reconstruction of the Interleaved Sessions from a Server Log
Session reconstruction is an essential step in Web usage mining. The quality of reconstructed sessions affects the result of Web usage mining. This paper presents a new approach o...
John Zhong Lei, Ali A. Ghorbani
AIS
2004
Springer
14 years 1 months ago
Timed I/O Test Sequences for Discrete Event Model Verification
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
Ki Jung Hong, Tag Gon Kim
AI
2004
Springer
13 years 9 months ago
Elaboration tolerance through object-orientation
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
Joakim Gustafsson, Jonas Kvarnström
AI
2004
Springer
14 years 3 months ago
Knowledge Provenance
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
Mark S. Fox, Jingwei Huang
AI
2004
Springer
14 years 3 months ago
A Hybrid Schema for Systematic Local Search
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
William S. Havens, Bistra N. Dilkina