3116 search results - page 143 / 624 » Positively dependent types |
158
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
151
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper investigates the uniqueness of a nonnegative vector solution and the uniqueness of a positive semidefinite matrix solution to underdetermined linear systems. A...
135
click to vote
ACII
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Driver anger could be potentially harmful for road safety and longterm health. Because of its mood inducing properties, music is assumed to be a potential medium that cou...
140
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
159
click to vote
SWAT
1998
Springer
15 years 8 months ago
1998
Springer
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...