2697 search results - page 248 / 540 » Developing Gestural Input |
162
click to vote
ACSD
2007
IEEE
16 years 29 days ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
188
click to vote
FCCM
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we present our work toward FPGA acceleration of phylogenetic reconstruction, a type of analysis that is commonly performed in the fields of systematic biology and co...
173
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
—In this paper, the problem of finite-rate feedback for spatially and temporally correlated Rayleigh fading Multiple Input Single Output (MISO) channels with estimation errors a...
184
click to vote
ISBI
2007
IEEE
16 years 27 days ago
2007
IEEE
Efficient, automatic and robust tools for measurement of cerebral cortical thickness would aid diagnosis and longitudinal studies of neurodegenerative disorders. In this work, we...
147
click to vote
SMI
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...