Sciweavers

3819 search results - page 417 / 764
» Simple Easy Terms
Sort
View
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 6 months ago
Incremental Sampling-based Algorithms for Optimal Motion Planning
During the last decade, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs), have been shown to work well in practice and to po...
Sertac Karaman, Emilio Frazzoli
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning
CORR
2008
Springer
77views Education» more  CORR 2008»
15 years 6 months ago
Energy-efficient Scheduling of Delay Constrained Traffic over Fading Channels
Abstract--A delay-constrained scheduling problem for pointto-point communication is considered: a packet of B bits must be transmitted by a hard deadline of T slots over a timevary...
Juyul Lee, Nihar Jindal
JCS
2008
93views more  JCS 2008»
15 years 6 months ago
On the Bayes risk in information-hiding protocols
Randomized protocols for hiding private information can be regarded as noisy channels in the information-theoretic sense, and the inference of the concealed information can be reg...
Konstantinos Chatzikokolakis, Catuscia Palamidessi...
CSDA
2007
151views more  CSDA 2007»
15 years 6 months ago
Robust semiparametric mixing for detecting differentially expressed genes in microarray experiments
An important goal of microarray studies is the detection of genes that show significant changes in observed expressions when two or more classes of biological samples such as tre...
Marco Alfò, Alessio Farcomeni, Luca Tardell...