3116 search results - page 180 / 624 » Positively dependent types |
137
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
Digital Libraries maintain information lifecycles for the digital objects contained therein. Typically these information lifecycles stipulate that a digital object is deleted at t...
147
click to vote
INLG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
135
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
An image-based visual servo control is presented for a robotic manipulator. The proposed control design addresses visual servo of 'eye-in-hand' type systems. Using a nov...
134
click to vote
CIE
2010
Springer
15 years 9 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
153
click to vote
APVIS
2006
15 years 6 months ago
2006
We study a variation of the boundary labelling problem, with floating sites (represented as polygons), labels of uniform size placed in fixed positions on the boundary of a rectan...