Sciweavers

988 search results - page 103 / 198
» Report on the XBase Project
Sort
View
CRV
2005
IEEE
143views Robotics» more  CRV 2005»
15 years 9 months ago
Controlling Camera and Lights for Intelligent Image Acquisition and Merging
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
Olena Borzenko, Yves Lespérance, Michael R....
HICSS
2005
IEEE
166views Biometrics» more  HICSS 2005»
15 years 9 months ago
Automatic Identification of Home Pages on the Web
The research reported in this paper is the first phase of a larger project on the automatic classification of Web pages by their genres. The long term goal is the incorporation of...
Alistair Kennedy, Michael A. Shepherd
ICALT
2005
IEEE
15 years 9 months ago
Learning from the Pitfalls of a Case Sharing Web
Using cases for teaching and learning has received growing attention in teacher training programs. This project intends to build a web forum for student teachers to discuss their ...
Shihkuan Hsu
PRDC
2005
IEEE
15 years 9 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
TPHOL
2005
IEEE
15 years 9 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...