15660 search results - page 284 / 3132 » The Unbalance of Set Systems |
170
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
171
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
169
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, the Acoustic Event Detection (AED) system developed at the UPC is described, and its results in the CLEAR evaluations carried out in March 2007 are reported. The sys...
228
click to vote
RTAS
2006
IEEE
16 years 26 days ago
2006
IEEE
The heterogeneous multiprocessor task partitioning with replication problem involves determining a mapping of recurring tasks upon a set consisting of different processing units i...
160
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...