8828 search results - page 1642 / 1766 » Formal methods in practice |
149
click to vote
TMM
2010
14 years 10 months ago
2010
Based on the local keypoints extracted as salient image patches, an image can be described as a "bag-of-visualwords (BoW)" and this representation has appeared promising ...
139
click to vote
TNN
2010
14 years 10 months ago
2010
The weight-decay technique is an effective approach to handle overfitting and weight fault. For fault-free networks, without an appropriate value of decay parameter, the trained ne...
155
click to vote
TON
2010
14 years 10 months ago
2010
We study the contention/interaction among wireless nodes and med -ium access control design in game theory framework. We define a general class of games, called random access game...
146
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
242
click to vote
RECOMB
2011
Springer
14 years 6 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...