Sciweavers

6978 search results - page 301 / 1396
» On Proofs in System P
Sort
View
JCT
2010
112views more  JCT 2010»
15 years 5 months ago
Annular embeddings of permutations for arbitrary genus
In the symmetric group on a set of size 2n, let P2n denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as “pairings”, since each ...
I. P. Goulden, William Slofstra
MOBILWARE
2009
ACM
16 years 1 months ago
An Analysis of Navigation Algorithms for Smartphones Using J2ME
André C. Santos, Luís Tarrataca, Jo&...
DSER
2001
Springer
15 years 11 months ago
Middleware
R. Becchini, P. Chilaev, V. Krivtsov, I. Viglietti...
HOTOS
1999
IEEE
15 years 11 months ago
Transparent Communication Management in Wireless Networks
David Kidston, James P. Black, Thomas Kunz