ECLAP
2013
10 years 2 months ago
2013
Abstract. In this paper we present a project of creating a web based interactive encyclopedia of historical knowledge related to the history of the religions, the Bible and the his...
262
click to vote
CIAC
2013
Springer
10 years 2 months ago
2013
Springer
In network activation problems we are given a directed or undirected graph G = (V, E) with a family {fuv (xu, xv) : (u, v) ∈ E} of monotone non-decreasing activation functions fr...
ADBIS
2013
Springer
10 years 2 months ago
2013
Springer
TEI
2014
ACM
10 years 2 months ago
2014
ACM
The use of autonomous behaviour in Tangible User Interfaces can potentially create a compelling and new kind of interaction between humans and computers. We motivate this argument...
258
click to vote
TACAS
2014
Springer
10 years 2 months ago
2014
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region, in which nothing “bad” happens. Equival...