Sciweavers

3446 search results - page 329 / 690
» A Reasoning Algorithm for pD*
Sort
View
ER
2004
Springer
90views Database» more  ER 2004»
16 years 1 days ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao
EWCBR
2004
Springer
16 years 22 hour ago
Learning Feature Taxonomies for Case Indexing
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...
Kalyan Moy Gupta, David W. Aha, Philip G. Moore
NMR
2004
Springer
15 years 12 months ago
Plan reversals for recovery in execution monitoring
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
Thomas Eiter, Esra Erdem, Wolfgang Faber
VISUALIZATION
2003
IEEE
15 years 12 months ago
Video Visualization
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
Gareth Daniel, Min Chen
TLDI
2003
ACM
134views Formal Methods» more  TLDI 2003»
15 years 12 months ago
Scrap your boilerplate: a practical design pattern for generic programming
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
Ralf Lämmel, Simon L. Peyton Jones