34181 search results - page 494 / 6837 » The Computer System GRAPHOGRAPH |
113
click to vote
MICCAI
2000
Springer
15 years 8 months ago
2000
Springer
The needs of surgeons for computer-assisted systems cannot be satisfied unless their requirements and expectations are known. We determined surgeons' needs for computer-aided ...
127
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
122
click to vote
TSP
2008
15 years 4 months ago
2008
Abstract-- Simple and efficient computational algorithms for nonparametric wavelet-based identification of nonlinearities in Hammerstein systems driven by random signals are propos...
149
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...