11436 search results - page 1916 / 2288 » Modeling Real Reasoning |
152
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
136
click to vote
ESOP
2012
Springer
14 years 17 days ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
166
click to vote
POPL
2012
ACM
14 years 14 days 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...
193
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
A reasonable definition of intrusion is: entering a community to which one does not belong. This suggests that in a network, intrusion attempts may be detected by looking for com...
185
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...