Sciweavers

8228 search results - page 1421 / 1646
» Structural Logical Relations
Sort
View
122
Voted
ICASSP
2007
IEEE
15 years 4 months ago
Relevance Network Modeling for Muscle Association Pattern in Reaching Movements
Our purpose is to study how different muscles collaborate together to efficiently create a smooth, coordinated reaching movement. In the EMG literature, it has been commonplace to...
Z. Jane Wang, Martin J. McKeown
97
Voted
HICSS
2009
IEEE
128views Biometrics» more  HICSS 2009»
15 years 4 months ago
Cyber Security Risks Assessment with Bayesian Defense Graphs and Architectural Models
To facilitate rational decision making regarding cyber security investments, decision makers need to be able to assess expected losses before and after potential investments. This...
Teodor Sommestad, Mathias Ekstedt, Pontus Johnson
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 4 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
ANTSW
2004
Springer
15 years 4 months ago
Cooperative Transport of Objects of Different Shapes and Sizes
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...
Roderich Groß, Marco Dorigo
72
Voted
CSB
2004
IEEE
103views Bioinformatics» more  CSB 2004»
15 years 4 months ago
Identifying MicroRNAs in Plant Genomes
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
Christopher Maher, Marja Timmermans, Lincoln Stein...
« Prev « First page 1421 / 1646 Last » Next »