3742 search results - page 311 / 749 » On the Use of Formal Techniques for Validation |
209
click to vote
MASS
2010
15 years 4 months ago
2010
Abstract--Spread spectrum techniques (e.g., Frequency Hopping (FH), Direct Sequence Spread Spectrum (DSSS)) have been widely used for anti-jamming wireless communications. Such tec...
152
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Background: Impairment of arterial endothelial function is an early event in atherosclerosis and correlates with the major risk factors for cardiovascular disease. The most widely...
189
click to vote
SBCCI
2003
ACM
15 years 12 months ago
2003
ACM
Unsupervised clustering is a powerful technique for understanding multispectral and hyperspectral images, being k-means one of the most used iterative approaches. It is a simple th...
216
click to vote
AAAI
2006
15 years 8 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
223
click to vote
ALMOB
2007
15 years 6 months ago
2007
Background: Feature selection plays an undeniably important role in classification problems involving high dimensional datasets such as microarray datasets. For filter-based featu...