Sciweavers

583 search results - page 76 / 117
» More Reflections on
Sort
View
COMPUTER
2006
87views more  COMPUTER 2006»
13 years 8 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
COR
2006
122views more  COR 2006»
13 years 8 months ago
Experimental Analysis of Approximation Algorithms for the Vertex Cover and Set Covering Problems
Several approximation algorithms with proven performance guarantees have been proposed to find approximate solutions to classical combinatorial optimization problems. However, the...
Fernando C. Gomes, Cláudio Nogueira de Mene...
IJVR
2008
118views more  IJVR 2008»
13 years 8 months ago
Use of Technology Enhanced Education to Improve Teaching and Learning Process
The modern world continues to change as Information Technology (IT) related applications proceed to evolve at a rapid pace. The need for IT continues to grow as we begin to meaning...
Daniela Marghitu, Elizabeth Zylla-Jones, Santosh B...
IIE
2006
185views more  IIE 2006»
13 years 8 months ago
ICT Teaching Experience Sharing in Higher Education: an Education Development Approach
Abstract. With the growing awareness of the scholarship of teaching and the appropriate incorporation of Information and Communications Technologies (ICT) in higher education, ther...
Jacky Wai-cheong Pow
IJCSS
2006
111views more  IJCSS 2006»
13 years 8 months ago
An Algorithm for Accurate Measurement of Corneal Thickness Using Ultrasound RF Signal
A faster and more accurate method for the detection of corneal thickness using an ultrasonic pulse-echo technique was proposed. The corneal thickness was calculated from the time ...
P. J. Cao, K. Kirk Shung