8512 search results - page 241 / 1703 » Computing Theory With Relevance |
122
Voted
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The theory of multidimensional persistence captures the topology of a multifiltration – a multiparameter family of increasing spaces. Multifiltrations arise naturally...
134
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
188
click to vote
STOC
1996
ACM
15 years 9 months ago
1996
ACM
We use the Laplacian and power method to compute Betti numbers of simplicial complexes. This has a number of advantages over other methods, both in theory and in practice. It requ...
122
Voted
COLING
1996
15 years 6 months ago
1996
This paper establishes a framework under which various aspects of prosodic morphology, such as templatic morphology and infixation, can be handled under two-level theory using an ...
141
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...