8874 search results - page 31 / 1775 » A New Implementation of Automath |
ECOOP
2004
Springer
14 years 4 months ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
CAINE
2007
14 years 12 days ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
NIPS
2001
14 years 10 days ago
2001
This paper describes a clustering algorithm for vector quantizers using a "stochastic association model". It offers a new simple and powerful softmax adaptation rule. Th...
WSCG
2004
14 years 9 days ago
2004
This work presents a new method of fast cubic and higher order image interpolation. The evaluation of the piecewise n-th order polynomial kernels is accelerated by transforming th...
CEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Given the great amount of data that are generated of the experiments to analyze information of extracted chemical fluids of the brain of a rodent, arises the necessity to design an...