199 search results - page 18 / 40 » Intensional Positive Set Theory |
JSYML
2007
14 years 11 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
108
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—This paper presents a fully functional and highly portable mini Unmanned Aerial Vehicle (UAV) system, HAWK, for conducting aerial localization. HAWK is a programmable mini helic...
106
click to vote
FSTTCS
2008
Springer
15 years 25 days ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
JCT
2007
14 years 11 months ago
2007
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
192
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...