1999 search results - page 81 / 400 » Finding Reductions Automatically |
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose an automatic method to geo-register maritime video feeds to satellite images. The method first detects horizon during the day time and apex during the night time for si...
121
click to vote
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
ETD2000
1995
15 years 1 months ago
1995
This paper reports the application of evolutionary computation in the automatic generation of a neural network architecture.It is a usual practice to use trial and error to find a...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
EDM
2010
14 years 11 months ago
2010
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...