666 search results - page 94 / 134 » Inspector Methods for State Abstraction |
IDA
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Clustering data described by categorical attributes is a challenging task in data mining applications. Unlike numerical attributes, it is difficult to define a distance b...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
AGENTCL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
UML
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
WOTUG
2008
14 years 11 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...