837 search results - page 67 / 168 » codes 2000 |
69
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Handwritten words are usually slant or Italicized due to the mechanism of handwriting and the personality. In order to improve the accuracy of character segmentation and recogniti...
117
Voted
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
126
click to vote
MA
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
125
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
87
Voted
BC
2000
15 years 16 days ago
2000
We model the stimulus-induced development of the topography of the primary visual cortex. The analysis uses a self-organizing Kohonen model based on high-dimensional coding. It all...