1930 search results - page 207 / 386 » Epistemic comparative conditionals |
200
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
163
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Peak to average power ratio (PAPR) and symbol loss rate (SLR) are two challenges of multicarrier based communications that have recently drawn much attention. High SLR renders the ...
196
click to vote
AISS
2010
15 years 4 months ago
2010
This paper proposes an effective lane detection and tracking method using statistical modeling of lane color and edge-orientation in the image sequence. At first, we will address ...
194
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...