Sciweavers

2028 search results - page 176 / 406
» Deriving Relation Keys from XML Keys
Sort
View
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
16 years 29 days ago
A nonlinear, control-oriented model for ionic polymer-metal composite actuators
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...
Zheng Chen, Dawn R. Hedgepeth, Xiaobo Tan
AUTOMATICA
2007
48views more  AUTOMATICA 2007»
15 years 6 months ago
Interconnection of port-Hamiltonian systems and composition of Dirac structures
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
J. Cervera, A. J. van der Schaft, Alfonso Ba&ntild...
RE
2002
Springer
15 years 6 months ago
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasan...
JSC
2010
106views more  JSC 2010»
15 years 4 months ago
Verifying pointer safety for programs with unknown calls
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
Chenguang Luo, Florin Craciun, Shengchao Qin, Guan...
TCBB
2011
15 years 1 months ago
Ensemble Learning with Active Example Selection for Imbalanced Biomedical Data Classification
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
Sangyoon Oh, Min Su Lee, Byoung-Tak Zhang