Sciweavers

4140 search results - page 413 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
ICPR
2006
IEEE
16 years 7 months ago
Radon space and Adaboost for Pose Estimation
In this paper, we present a new approach to camera pose estimation from single shot images in known environment. Such a method comprises two stages, a learning step and an inferen...
Patrick Etyngier, Nikos Paragios, Renaud Keriven, ...
PROVSEC
2009
Springer
15 years 11 months ago
Oracle Separation in the Non-uniform Model
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
Ahto Buldas, Sven Laur, Margus Niitsoo
COGSCI
2008
139views more  COGSCI 2008»
15 years 6 months ago
A Computational Model of Early Argument Structure Acquisition
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...
Afra Alishahi, Suzanne Stevenson
MEMOCODE
2005
IEEE
16 years 10 days ago
Three-valued logic in bounded model checking
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
Tobias Schüle, Klaus Schneider
JMLR
2010
105views more  JMLR 2010»
15 years 1 months ago
Evaluation of Signaling Cascades Based on the Weights from Microarray and ChIP-seq Data
In this study, we combined the ChIP-seq and the transcriptome data and integrated these data into signaling cascades. Integration was realized through a framework based on data- a...
Zerrin Isik, Volkan Atalay, Rengül Çet...