5687 search results - page 1000 / 1138 » Visualizing Evaluation in Scheme |
JAR
2000
13 years 9 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
MOC
2000
13 years 9 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...
COMCOM
1998
13 years 9 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
INFORMATICALT
2002
13 years 9 months ago
2002
An adaptive control scheme for mechanical manipulators is proposed. The control loop essentially consists of a network for learning the robot's inverse dynamics and on-line ge...
JCISE
2002
13 years 9 months ago
2002
Methods to represent and exchange parts consisting of Functionally Graded Material (FGM) for Solid Freeform Fabrication (SFF) with Local Composition Control (LCC) are evaluated ba...