124 search results - page 12 / 25 » The Linear Time - Branching Time Spectrum II |
113
click to vote
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
The two-dimensional layout optimization problem reinforced by the efficient space utilization demand has a wide spectrum of practical applications. Formulating the problem as a non...
119
Voted
ISQED
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
108
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
A construction of expander codes is presented with the following three properties: (i) the codes lie close to the Singleton bound, (ii) they can be encoded in time complexity that ...
158
Voted
SIAMCOMP
2011
14 years 10 months ago
2011
We investigate ways in which an algorithm can improve its expected performance by fine-tuning itself automatically with respect to an arbitrary, unknown input distribution. We gi...
129
Voted
PRL
2010
14 years 10 months ago
2010
It is desirable to find unusual data objects by Ramaswamy et al's distance-based outlier definition because only a metric distance function between two objects is required. It...