JLP
2016
10 years 27 days ago
2016
This paper presents two criteria for the termination of tree automata completion. Tree automata completion is a technique for computing a tree automaton recognizing or over-approx...
JLP
2016
10 years 27 days ago
2016
Many software systems today are configurable. Analyzing configurable systems is challenging, especially as (1) the number of system variants may grow exponentially with the numb...
JLMS
2016
10 years 27 days ago
2016
Abstract. The set of primitive vectors on large spheres in the euclidean space of dimension d ≥ 3 equidistribute when projected on the unit sphere. We consider here a refinement...
JLMS
2016
10 years 27 days ago
2016
Let Γ be a nonelementary discrete subgroup of SU(n, 1) or Sp(n, 1). We show that if the trace field of Γ is contained in R, Γ preserves a totally geodesic submanifold of consta...
31
Voted
JITS
2016
10 years 27 days ago
2016
Given the current connected vehicles program in the United States, as well as other similar initiatives in vehicular networking, it is highly likely that vehicles will soon wirele...