Sciweavers

1953 search results - page 195 / 391
» codes 2010
Sort
View
EICS
2010
ACM
15 years 8 months ago
UI generation from task, domain and user models: the DB-USE approach
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
Vi Tran
APLAS
2010
ACM
15 years 6 months ago
Data Structure Fusion
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
SIGMETRICS
2010
ACM
175views Hardware» more  SIGMETRICS 2010»
15 years 6 months ago
Elon: enabling efficient and long-term reprogramming for wireless sensor networks
We present a new mechanism called Elon for enabling efficient and long-term reprogramming in wireless sensor networks. Elon reduces the transferred code size significantly by intr...
Wei Dong, Yunhao Liu, Xiaofan Wu, Lin Gu, Chun Che...
ICASSP
2010
IEEE
15 years 6 months ago
On the Shannon capacity of DNA data embedding
This paper firstly gives a brief overview of information embedding in deoxyribonucleic acid (DNA) sequences and its applications. DNA data embedding can be considered as a partic...
Félix Balado
ICASSP
2010
IEEE
15 years 6 months ago
A practical forwarding scheme for wireless relay channels based on the quantization of log-likelihood ratios
This paper considers a wireless relay network with one source, one relay, and one destination. We propose a low-complexity quantize-and-forward (QF) scheme in which the relay calc...
Stefan Schwandter, Gerald Matz