1058 search results - page 62 / 212 » It's Doomed; We Can Prove It |
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
COLT
1992
Springer
14 years 2 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
IJCAI
1989
13 years 11 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...