AGHCS
2015
10 years 3 months ago
2015
Hate speech and fringe ideologies are social phenomena that thrive on-line. Members of the political and religious fringe are able to propagate their ideas via the Internet with le...
AGHCS
2015
10 years 3 months ago
2015
This paper describes the application of hypergraph grammars to drive a linear computational cost solver for grids with point singularities. Such graph grammar productions are the ï...
AGHCS
2015
10 years 3 months ago
2015
High Yield Investment Programs (HYIPs) are online versions of a Ponzi scheme, a fraud that offers extremely high interest rates to attract investors – and pays them up to the mo...
AGHCS
2015
10 years 3 months ago
2015
In this paper, we make a practical approach to automated credibility assessment on Twitter. We describe the process behind the design of an automated classiï¬er for information cr...
AGERE
2015
10 years 3 months ago
2015
Multiple mature implementations of the actor model of concurrency exist. Besides several ones available for the Java Virtual Machine, there are others, for example, written in Sma...
AGERE
2015
10 years 3 months ago
2015
A key idea in object-oriented programming is that objects encapsulate state and interact with each other by message exchange. This perspective suggests a model of computation that...
AGERE
2015
10 years 3 months ago
2015
Combining the actor-model with shared memory for performance is efï¬cient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness an...
AGERE
2015
10 years 3 months ago
2015
Agent-Oriented Programming (AOP) researchers have successfully developed a range of agent programming languages that bridge the gap between theory and practice. Unfortunately, des...
181
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
We formalize new decision procedures for WS1S, M2L(Str), and Presburger Arithmetics. Formulas of these logics denote regular languages. Unlike traditional decision procedures, we ...
196
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
In this work, we formally proved Descartes Rule of Signs, which relates the number of positive real roots of a polynomial with the number of sign changes in its coefficient list. ...