1581 search results - page 231 / 317 » Mechanizing Inductive Reasoning |
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Automated teller machine (ATM) frauds are increasing drastically these days. When analyzing the most common attacks and the reasons for successful frauds, it becomes apparent that...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—With continuous technology scaling, soft errors are becoming an increasingly important design concern even for earth-bound applications. While compiler approaches have the poten...
102
click to vote
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
EMISA
2009
Springer
15 years 6 months ago
2009
Springer
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...