2701 search results - page 40 / 541 » On the form of witness terms |
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...
MFCS
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
MOC
1998
14 years 11 months ago
1998
The groundwork for a theory of quadratic identities involving the classical triple and quintuple products is layed. The approach is through the study and use of affine maps that ac...
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...