366 search results - page 49 / 74 » Four equivalent equivalences of reductions |
70
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a novel selective blurring algorithm that mimics the optical distance blur effects that occur naturally in cameras and eyes. The proposed algorithm provides a realistic...
108
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
—Piezoelectric materials have been proposed as embedded power source, which are capable of converting mechanical energy into electrical energy. However, power generated from a pi...
80
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
107
click to vote
CICLING
2007
Springer
15 years 6 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
101
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...