162 search results - page 16 / 33 » A note on an extension of PDL |
ENTCS
2008
14 years 11 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
IJLT
2006
14 years 11 months ago
2006
: Performance support is happening where we work and live. Under a tree and at a park bench, in a submarine, at a parent-teacher meeting, in a cubicle, or on the manufacturing floo...
PRL
2008
14 years 11 months ago
2008
It is a conventional belief that line-based approaches perform better than point-based ones for homography estimation, as the linefitting is generally more noise resistant than po...
68
Voted
MOC
2000
14 years 11 months ago
2000
We develop an efficient technique for computing values at s = 1 of Hecke L-functions. We apply this technique to the computation of relative class numbers of non-abelian CM-fields ...
JCB
2002
14 years 11 months ago
2002
One possible model to study genome evolution is to represent genomes as permutations of genes and compute distances based on the minimum number of certain operations (rearrangemen...