1193 search results - page 148 / 239 » A primer of simple theories |
186
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
163
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
161
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
179
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
241
click to vote
FOSAD
2009
Springer
16 years 29 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...