Sciweavers

3424 search results - page 398 / 685
» Automated Testing of Classes
Sort
View
SSDBM
2006
IEEE
147views Database» more  SSDBM 2006»
16 years 5 days ago
Task-Oriented Integrated Use of Biological Web Data Sources
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
Mustafa Kirac, Ali Cakmak, Gultekin Özsoyoglu
SAC
2006
ACM
16 years 3 days ago
Provably faithful evaluation of polynomials
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
Sylvie Boldo, César Muñoz
ICIP
2005
IEEE
15 years 11 months ago
Combination of multiple extraction algorithms in the detection of facial features
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
Spiros Ioannou, Manolis Wallace, Kostas Karpouzis,...
MSE
2005
IEEE
150views Hardware» more  MSE 2005»
15 years 11 months ago
A Cohesive FPGA-Based System-on-Chip Design Curriculum
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
John D. Lynch, Daniel Hammerstrom, Roy Kravitz
MM
2005
ACM
114views Multimedia» more  MM 2005»
15 years 11 months ago
IMAGINATION: a robust image-based CAPTCHA generation system
We propose IMAGINATION (IMAge Generation for INternet AuthenticaTION), a system for the generation of attack-resistant, user-friendly, image-based CAPTCHAs. In our system, we prod...
Ritendra Datta, Jia Li, James Ze Wang