5275 search results - page 73 / 1055 » Computing by observing |
120
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
160
click to vote
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a semi-automatic coronary centerline extraction algorithm for computed tomography angiography data. The method applies region growing to computed tomography an...
MSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Computer architecture is often taught by having students use software to design and simulate individual pieces of a computer processor. We have developed a method that will take t...
145
Voted
CVGIP
2002
15 years 3 months ago
2002
Computing the intersection curve of two quadrics is a fundamental problem in computer graphics and solid modeling. We present an algebraic method for classifying and parameterizin...
136
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...