Sciweavers

2631 search results - page 260 / 527
» A Practical Method for the Sparse Resultant
Sort
View
IEEEICCI
2002
IEEE
16 years 7 days ago
Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
Nicolae Varachiu, Cynthia Karanicolas, Mihaela Uli...
GD
2009
Springer
15 years 12 months ago
Upward Planarization Layout
Recently, we have presented a new practical method for upward crossing minimization [4], which clearly outperformed existing approaches for drawing hierarchical graphs in that resp...
Markus Chimani, Carsten Gutwenger, Petra Mutzel, H...
AVBPA
2001
Springer
145views Biometrics» more  AVBPA 2001»
15 years 11 months ago
Automatic Gait Recognition by Symmetry Analysis
We describe a new method for automatic gait recognition based on analysing the symmetry of human motion, by using the Generalised Symmetry Operator. This operator, rather than rely...
James B. Hayfron-Acquah, Mark S. Nixon, John N. Ca...
SIGDOC
2000
ACM
15 years 11 months ago
Testing documentation with "low-tech" simulation
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
David G. Novick
FM
1999
Springer
104views Formal Methods» more  FM 1999»
15 years 11 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf