Sciweavers

9697 search results - page 426 / 1940
» Intelligent Transportation Systems
Sort
View
AIIA
2005
Springer
16 years 11 days ago
Modal Operators with Adaptable Semantics for Multi-agent Systems
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
Stefano Borgo
154
Voted
AUSAI
2005
Springer
16 years 8 days ago
A Personalized Recommendation System for Electronic Program Guide
This paper proposes an idea for constructing a personalized recommendation system for the Electronic Program Guide (EPG). This system would use a basic statistics method with feedb...
Jin An Xu, Kenji Araki
JELIA
2004
Springer
16 years 5 days ago
A System with Template Answer Set Programs
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
Francesco Calimeri, Giovambattista Ianni, Giuseppe...
JELIA
2004
Springer
16 years 5 days ago
The Modal Logic Programming System MProlog
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
Linh Anh Nguyen
IDEAL
2003
Springer
16 years 17 hour ago
Objectionable Image Recognition System in Compression Domain
In this paper, we propose an intelligent recognition system for objectionable image in JPEG compression domain. First, the system applies robust skin color model and skin texture a...
Qixiang Ye, Wen Gao, Wei Zeng, Tao Zhang, Weiqiang...