13271 search results - page 190 / 2655 » Computers, Programming, and People |
143
Voted
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
Toric ideals have many applications including solving integer programs. Several algorithms for computing the toric ideal of an integer matrix are available in the literature. Since...
120
click to vote
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
149
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
146
click to vote
ACMSE
2009
ACM
15 years 7 months ago
2009
ACM
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
