1077 search results - page 61 / 216 » integration 2000 |
SIAMAM
2000
13 years 7 months ago
2000
An algorithm for a loaded crack partly in frictionless contact is presented. The problem is nonlinear in the sense that the equations of linear elasticity are supplemented by certa...
AAAI
2000
13 years 9 months ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
ISSRE
2000
IEEE
14 years 9 days ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
CLUSTER
2000
IEEE
14 years 10 days ago
2000
IEEE
This paper introduces the principles of Agilent’s remote system management solutions, which have been designed to maintain and administrate servers and communication systems. Fr...
ICMCS
2000
IEEE
14 years 9 days ago
2000
IEEE
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...