4352 search results - page 278 / 871 » A Representation Theorem and Applications |
177
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Molecular typing methods are commonly used to study genetic relationships among bacterial isolates. Many of these methods have become standardized and produce portable...
197
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Nonnegative matrix factorization (NMF) is a feature extraction method that has the property of intuitive part-based representation of the original features. This uniqu...
227
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Bilateral Control by States Convergence is a novel and little exploited control strategy that has been successfully applied to the teleoperation of robotic manipulators using S...
257
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
210
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...