988 search results - page 103 / 198 » Report on the XBase Project |
146
click to vote
CRV
2005
IEEE
15 years 9 months ago
2005
IEEE
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...
107
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
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...
104
click to vote
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
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 ...
168
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
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...
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
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...