6274 search results - page 709 / 1255 » Proofs, Programs, Processes |
229
click to vote
IMAMS
2007
15 years 8 months ago
2007
Conformal geometry is in the core of pure mathematics. Conformal structure is more flexible than Riemaniann metric but more rigid than topology. Conformal geometric methods have p...
166
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
This paper solves some puzzles in the formalisation of logic for discontinuity in categorial grammar. A ‘tuple’ operation introduced in [Solias, 1992] is defined as a mode of...
223
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
177
click to vote
SIAMSC
2010
15 years 5 months ago
2010
In numerous applications of image processing, e.g. astronomical and medical imaging, data-noise is well-modeled by a Poisson distribution. This motivates the use of the negative-lo...
217
click to vote
CODASPY
2012
14 years 2 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...