950 search results - page 77 / 190 » Type Specialization in Aldor |
AOSE
2005
Springer
14 years 2 months ago
2005
Springer
Changes and adaptations are always necessary after the deployment of a multiagent system (MAS), as well as of any other type of software systems. Some of these changes may be simpl...
DEXA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
ECML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
PREMI
2005
Springer
14 years 2 months ago
2005
Springer
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Template...