Sciweavers

1089 search results - page 167 / 218
» Patterns for the Pragmatic Web
Sort
View
LOPSTR
2004
Springer
15 years 3 months ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...
ER
2001
Springer
131views Database» more  ER 2001»
15 years 2 months ago
Seamless Personalization of E-commerce Applications
In this paper we present an original approach for personalizing complex Web applications, in particular e-commerce applications. This approach is based on a clear separation of con...
Juan Cappi, Gustavo Rossi, Andres Fortier, Daniel ...
WEBI
2001
Springer
15 years 2 months ago
An Effective Conversational Agent with User Modeling Based on Bayesian Network
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
Seung-Ik Lee, Chul Sung, Sung-Bae Cho
TOOLS
1998
IEEE
15 years 2 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
NLDB
2010
Springer
15 years 1 months ago
An Automatic Definition Extraction in Arabic Language
During the last few years, a lot of researches have focused on automatic definition extraction in the context of question answering systems. Although, these researches have been co...
Omar Trigui, Lamia Hadrich Belguith, Paolo Rosso