5510 search results - page 796 / 1102 » Mathematics |
175
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
161
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
180
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
189
click to vote
ICCS
1994
Springer
15 years 10 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...
206
click to vote
CRYPTO
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Joseph Kilian NEC Research Princeton, NJ 08540 Tom Leighton Mathematics Department Laboratory for Computer Science MIT Cambridge, MA 02139 August 17, 1994 Fair" Publ...