3742 search results - page 666 / 749 » On the Use of Formal Techniques for Validation |
174
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The web has seen an explosion of chemistry and biology related resources in the last 15 years: thousands of scientific journals, databases, wikis, blogs and resources ...
176
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
In this study, a novel multidimensional time series classification technique, namely support feature machine (SFM), is proposed. SFM is inspired by the optimization model of suppo...
174
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
Knowing the reputations of your own and/or competitors' products is important for marketing and customer relationship management. It is, however, very costly to collect and a...
174
click to vote
SIGCOMM
2009
ACM
16 years 24 days ago
2009
ACM
Network protocol designers, both at the physical and network level, have long considered interference and simultaneous transmission in wireless protocols as a problem to be avoide...
148
click to vote
TRIDENTCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Today’s Internet backbone networking devices need to be tested under realistic traffic conditions at transmission rates of OC-48 and above. While commercially available synthet...