467 search results - page 69 / 94 » I O-automata Based Testing |
101
click to vote
ISCC
2002
IEEE
15 years 5 months ago
2002
IEEE
Higher layer protocols in wireless networks need to dynamically adapt to observed network response. The common approach is that each session employs end-to-end monitoring to estim...
121
Voted
JIRS
2010
14 years 11 months ago
2010
Abstract Localization is a key issue for a mobile robot, in particular in environments where a globally accurate positioning system, such as GPS, is not available. In these environ...
108
Voted
BIOINFORMATICS
2011
14 years 7 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
136
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...
205
click to vote
CADE
2011
Springer
14 years 11 days ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...