1134 search results - page 168 / 227 » Towards a Theory of Information Systems: The FRISCO Approach |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
In large systems, it is important for agents to learn to act effectively, but sophisticated multi-agent learning algorithms generally do not scale. An alternative approach is to ļ...
DKE
2002
13 years 8 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
ECLIPSE
2006
ACM
14 years 2 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certiļ¬cation is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certiļ¬cate of correctness which, in pr...