3191 search results - page 413 / 639 » Qualitative Modeling in Education |
CORR
2009
Springer
13 years 7 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We prove an optimal (n) lower bound on the randomized communication complexity of the much-studied GAP-HAMMING-DISTANCE problem. As a consequence, we obtain essentially optimal mu...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--We consider cooperative spectrum sensing for cognitive radios. We develop an energy efficient detector with low detection delay using sequential hypothesis testing. Seque...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
SPARQL query composition is difficult for the lay-person or even the experienced bioinformatician in cases where the data model is unfamiliar. Established best-practices and intern...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The paper presents a methodology for the enhanced stiffness analysis of parallel manipulators with internal preloading in passive joints. It also takes into account influ...