2742 search results - page 356 / 549 » Deriving Category Theory from Type Theory |
ELPUB
2006
ACM
14 years 3 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper addresses an effective technique for digital fingerprinting for video. While orthogonal modulation technique is a straightforward and widely used method for digital ...
WIOPT
2005
IEEE
14 years 2 months ago
2005
IEEE
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual fixed target SIR level and beyon...
COMPGEOM
2004
ACM
14 years 2 months ago
2004
ACM
Let P be a set of n points in general position in the plane. Let Xk(P ) denote the number of empty convex k-gons determined by P. We derive, using elementary proof techniques, sev...