Sciweavers

2623 search results - page 432 / 525
» tools 2010
Sort
View
160
Voted
PASTE
2010
ACM
15 years 5 months ago
Null dereference analysis in practice
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
Nathaniel Ayewah, William Pugh
166
Voted
PEPM
2010
ACM
15 years 5 months ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
130
Voted
BIBE
2010
IEEE
143views Bioinformatics» more  BIBE 2010»
15 years 4 months ago
The Effect of Sequence Error and Partial Training Data on BLAST Accuracy
- Metagenomics is the study of environmental samples. Because few tools exist for metagenomic analysis, a natural step has been to utilize the popular homology tool, BLAST, to sear...
Steven D. Essinger, Gail L. Rosen
135
Voted
MM
2010
ACM
163views Multimedia» more  MM 2010»
15 years 3 months ago
Sonify your face: facial expressions for sound generation
We present a novel visual creativity tool that automatically recognizes facial expressions and tracks facial muscle movements in real time to produce sounds. The facial expression...
Roberto Valenti, Alejandro Jaimes, Nicu Sebe
125
Voted
MOBICOM
2010
ACM
15 years 3 months ago
Inferring and mitigating a link's hindering transmissions in managed 802.11 wireless networks
In 802.11 managed wireless networks, the manager can address under-served links by rate-limiting the conflicting nodes. In order to determine to what extent each conflicting node ...
Eugenio Magistretti, Omer Gurewitz, Edward W. Knig...