Sciweavers

1679 search results - page 113 / 336
» Strong order equivalence
Sort
View
ICIP
2002
IEEE
14 years 11 months ago
Interpretation of uniform translational image motion: DCT versus FT
We study properties of the discrete cosine transform (DCT) when applied to an image sequence formed by uniformly translating a still image. The Fourier transform (FT) applied to s...
Nikola Bozinovic, Janusz Konrad
ICLP
2009
Springer
14 years 10 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
ICLP
2009
Springer
14 years 10 months ago
Logic Programs under Three-Valued Lukasiewicz Semantics
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
Carroline Dewi Puspa Kencana Ramli, Steffen Hö...
DCC
2008
IEEE
14 years 9 months ago
Geometric Burrows-Wheeler Transform: Linking Range Searching and Text Indexing
We introduce a new variant of the popular Burrows-Wheeler transform (BWT) called Geometric Burrows-Wheeler Transform (GBWT). Unlike BWT, which merely permutes the text, GBWT conve...
Yu-Feng Chien, Wing-Kai Hon, Rahul Shah, Jeffrey S...
ICCAD
2006
IEEE
143views Hardware» more  ICCAD 2006»
14 years 7 months ago
Molecular organic electronic circuits
Electronic energy disorder associated within amorphous and polycrystaline molecular organic thin film structures strongly affects the macroscopic observable behavior of organic fi...
Vladimir Bulovi, Kevin Ryu, Charles Sodini, Ioanni...