441 search results - page 34 / 89 » A Method for Proving Observational Equivalence |
INTERACT
2003
13 years 10 months ago
2003
: Users and the context of use are the heart of user-centred design. If the users’ tasks are irregular or varying the information gathering is difficult. In our study we used pho...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Interpreting an image as a function on a compact subset of the Euclidean plane, we get its scale-space by diffusion, spreading the image over the entire plane. This generates a 1-...
AOSD
2007
ACM
14 years 26 days ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper proposes a general hierarchical analysis methodology, HiPRIME, to efficiently analyze RLKC power delivery systems. After partitioning the circuits into blocks, we devel...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— ABBA codes are an important class of quasiorthogonal space-time block codes proposed by Tirkkonen et al.. Recently, they have become more attractive for practical appli...