400 search results - page 50 / 80 » Reasoning About Hidden Mechanisms |
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
180
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
108
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...