825 search results - page 136 / 165 » Modal Logics with Counting |
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
In this work we present a method to jointly separate active audio and visual structures on a given mixture. Blind Audiovisual Source Separation is achieved exploiting the coherenc...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...
ISMVL
2008
IEEE
14 years 2 months ago
2008
IEEE
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...