549 search results - page 89 / 110 » Verification condition generation for conditional informatio... |
125
Voted
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
181
Voted
FOIKS
2008
Springer
16 years 28 days ago
2008
Springer
Supervised learning deals with the inference of a distribution over an output or label space $\CY$ conditioned on points in an observation space $\CX$, given a training dataset $D$...
144
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...
117
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— It is known that next generation mobile comunications systems will most likely employ multi-cell signal processing often referred to as network MIMO - in order to impro...
136
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...