2085 search results - page 365 / 417 » Special interest groups |
89
Voted
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
106
click to vote
COMPGEOM
1995
ACM
15 years 4 months ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
103
Voted
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
—This paper considers a non-cooperative game in which competing users sharing a frequency-selective interference channel selfishly optimize their power allocation in order to imp...
108
Voted
DRR
2010
15 years 3 months ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In secure computation among a set P of players one considers an adversary who can corrupt certain players. The three usually considered types of corruption are active, pa...