Sciweavers

5128 search results - page 703 / 1026
» Discrete Component Analysis
Sort
View
TYPES
2004
Springer
16 years 2 days ago
A Few Constructions on Constructors
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
Conor McBride, Healfdene Goguen, James McKinna
UIALL
2004
Springer
16 years 2 days ago
Using Automatic Tools in Accessibility and Usability Assurance Processes
Abstract. The paper claims that processes for monitoring, assessing and ensuring appropriate levels of accessibility and usability have to be adopted by web development and mainten...
Giorgio Brajnik
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
16 years 14 hour ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
16 years 11 hour ago
Science Investigation System for Telescopes in Education Research
The Virtual Telescopes in Education (VTIE) project, is providing tools for teaching astronomy in K-12 classrooms using remotely controlled telescopes. VTIE's main goal to pro...
Susan Hoban, John G. Keating, Joel Sachs, Daniel L...
ICCV
2003
IEEE
16 years 9 hour ago
A Model-Based Approach for Automated Feature Extraction in Fundus Images
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
Huiqi Li, Opas Chutatape