3040 search results - page 110 / 608 » Independent Natural Extension |
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
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...
INAP
2005
Springer
14 years 2 months ago
2005
Springer
We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seem to be conceptually an ...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a visual playlist creation method based on a previously designed visualization technique for large music collections. The method gives users high-level contro...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the character recognition process from printed documents containing Hindi and Telugu text. Hindi and Telugu are among the most popular languages in India. The...