Sciweavers

467 search results - page 32 / 94
» I O-automata Based Testing
Sort
View
LCTRTS
2005
Springer
15 years 6 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
DSMML
2004
Springer
15 years 6 months ago
Extensions of the Informative Vector Machine
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
Neil D. Lawrence, John C. Platt, Michael I. Jordan
MICAI
2004
Springer
15 years 5 months ago
Simple Feasibility Rules and Differential Evolution for Constrained Optimization
In this paper, we propose a differential evolution algorithm to solve constrained optimization problems. Our approach uses three simple selection criteria based on feasibility to g...
Efrén Mezura-Montes, Carlos A. Coello Coell...
EH
2003
IEEE
116views Hardware» more  EH 2003»
15 years 5 months ago
Silicon Validation of Evolution-Designed Circuits
No silicon fabrication and characterization of circuits with topologies designed by evolution has been done before, leaving open questions about the feasibility of the evolutionar...
Adrian Stoica, Ricardo Salem Zebulum, Xin Guo, Did...
103
Voted
ICDAR
2003
IEEE
15 years 5 months ago
Recognition of Printed Urdu Script
This paper deals with an Optical Character Recognition system for printed Urdu, a popular Indian script. The development of OCR for this script is difficult because (i) a large nu...
U. Pal, Anirban Sarkar