7988 search results - page 108 / 1598 » A Useful Undecidable Theory |
151
Voted
SOSL
1993
15 years 7 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
119
click to vote
WSC
2008
15 years 5 months ago
2008
Cluster tools, which combine several single-wafer processing modules with wafer handling robots in a closed environment, have been increasingly used for most wafer fabrication pro...
100
Voted
ICONIP
2007
15 years 4 months ago
2007
There is no consensus on measuring distances between two different neural network architectures. Two folds of methods are used for that purpose: Structural and behavioral distance ...
COLING
1994
15 years 4 months ago
1994
In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Represe...
73
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We present a quasi-analytic perturbation expansion for multivariate N dimensional Gaussian integrals. The perturbation expansion is an infinite series of lower-dimensional integra...