Sciweavers

4163 search results - page 592 / 833
» Enhancing surgical systems
Sort
View
GECCO
2010
Springer
173views Optimization» more  GECCO 2010»
13 years 11 months ago
Superstate identification for state machines using search-based clustering
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
Mathew Hall, Phil McMinn, Neil Walkinshaw
AES
2008
Springer
111views Cryptology» more  AES 2008»
13 years 11 months ago
Ambient vibration testing and structural evaluation of an historic suspension footbridge
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
C. Gentile, N. Gallino
CORR
2010
Springer
214views Education» more  CORR 2010»
13 years 11 months ago
Hybrid Medical Image Classification Using Association Rule Mining with Decision Tree Algorithm
The main focus of image mining in the proposed method is concerned with the classification of brain tumor in the CT scan brain images. The major steps involved in the system are: p...
P. Rajendran, M. Madheswaran
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 11 months ago
A Framework for Interactive Work Design based on Digital Work Analysis and Simulation
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
Liang Ma, Wei Zhang, Huanzhang Fu, Yang Guo, Damie...
CORR
2008
Springer
137views Education» more  CORR 2008»
13 years 11 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur