Sciweavers

586 search results - page 60 / 118
» Automated Reasoning on Aspects Interactions
Sort
View
114
Voted
ICCBR
2001
Springer
15 years 5 months ago
A Similarity-Based Approach to Attribute Selection in User-Adaptive Sales Dialogs
For dynamic sales dialogs in electronic commerce scenarios, approaches based on an information gain measure used for attribute selection have been suggested. These measures conside...
Andreas Kohlmaier, Sascha Schmitt, Ralph Bergmann
95
Voted
LOPSTR
1999
Springer
15 years 4 months ago
Annotations for Prolog - A Concept and Runtime Handling
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
Marija Kulas
ICLP
2010
Springer
15 years 4 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
99
Voted
FLOPS
2006
Springer
15 years 4 months ago
Soutei, a Logic-Based Trust-Management System
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
Andrew Pimlott, Oleg Kiselyov
GIS
2000
ACM
15 years 4 months ago
A high-performance Web-based system design for spatial data accesses
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...
Shu-Ching Chen, Xinran Wang, Naphtali Rishe, Mark ...