11234 search results - page 1983 / 2247 » A Microsurgery Simulation System |
108
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
134
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
136
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Cooperative communications exploit the spatial diversity inherent in multiuser system by allowing cooperation among users having a wide range of channel qualities. How to search...
153
click to vote
ISMIS
2000
Springer
15 years 7 months ago
2000
Springer
This paper introduces the design of rough neurons based on rough sets. Rough neurons instantiate approximate reasoning in assessing knowledge gleaned from input data. Each neuron c...
144
Voted
MA
2000
Springer
15 years 7 months ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...