4835 search results - page 343 / 967 » Intelligent Selection Tools |
150
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
166
click to vote
AISC
1998
Springer
15 years 11 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
123
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Coherence and alignment of the legislative language highly contribute to the quality of legislative processes, to the clarity of legislative texts and to their accessibility. DALOS...
140
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
150
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...