3116 search results - page 302 / 624 » Positively dependent types |
162
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
161
click to vote
CVPR
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper introduces a new representation for planar curves. From the well-known Dirichlet problem for a disk, the harmonic function embedded in a circular disk is solely depende...
115
click to vote
ETFA
2006
IEEE
16 years 22 days ago
2006
IEEE
Increasingly, fieldbuses are used in a variety of applications as the end users make large investments on fieldbus installations. Therefore the availability of these fieldbuses is...
142
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Clear Channel Assessment (CCA) is an essential ingredient in wireless networks employing channel sensing as part of their medium access mechanism. While CCA itself is implement...
180
click to vote
ICDCSW
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...