Sciweavers

1999 search results - page 214 / 400
» Dependently Typed Grammars
Sort
View
CVPR
2006
IEEE
16 years 17 days ago
A Shape Representation for Planar Curves by Shape Signature Harmonic Embedding
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...
Sang-Mook Lee, A. Lynn Abbott, Neil A. Clark, Phil...
ETFA
2006
IEEE
16 years 17 days ago
Function Blocks for Fieldbus Diagnostics
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...
Hassan Kaghazchi, Ronan Joyce, Donal Heffernan
GLOBECOM
2006
IEEE
16 years 17 days ago
On the Impact of Clear Channel Assessment on MAC Performance
— 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...
Iyappan Ramachandran, Sumit Roy
ICDCSW
2006
IEEE
16 years 17 days ago
Contory: A Smart Phone Middleware Supporting Multiple Context Provisioning Strategies
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
Oriana Riva, Cristiano di Flora
IJCNN
2006
IEEE
16 years 16 days ago
Generalizing Independent Component Analysis for Two Related Data Sets
— We introduce in this paper methods for finding mutually corresponding dependent components from two different but related data sets in an unsupervised (blind) manner. The basi...
Juha Karhunen, Tomas Ukkonen