3729 search results - page 574 / 746 » On Formal Modeling of Agent Computations |
169
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Generative algorithms for learning classifiers use training data to separately estimate a probability model for each class. New items are classified by comparing their probabiliti...
179
click to vote
WSC
2008
15 years 8 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...
160
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
172
click to vote
WICSA
2004
15 years 7 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
203
click to vote
DATAMINE
2010
15 years 6 months ago
2010
In this article we show that there is a strong connection between decision tree learning and local pattern mining. This connection allows us to solve the computationally hard probl...