3454 search results - page 570 / 691 » Modern computer algebra |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
EWC
2000
13 years 9 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
PAMI
2000
13 years 9 months ago
2000
Modern CCD cameras are usually capable of a spatial accuracy greater than 1/50 of the pixel size. However, such accuracy is not easily attained due to various error sources that c...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
Teaching object-oriented programming in an introductory programming course poses considerable challenges to the instructor. An often advocated approach to meeting this challenge i...
CJ
1999
13 years 9 months ago
1999
The ability to predict the directions of branches, especially conditional branches, is an important problem in modern computer architecture and advanced compilers. Many static and...