503 search results - page 90 / 101 » Real-time Property Preservation in Approximations of Timed S... |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Skin effect makes interconnect resistance and inductance frequency dependent. This paper addresses the problem of efficiently estimating the signal characteristics of any RLC netw...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In set-system auctions, there are several overlapping teams of agents, and a task that can be completed by any of these teams. The auctioneer's goal is to hire a team and pay...
SIAMNUM
2011
13 years 2 months ago
2011
A simultaneous space-time variational formulation of a parabolic evolution problem is solved with an adaptive wavelet method. This method is shown to converge with the best possibl...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
We present a new algorithm for color image quantization based on human color perception properties. We construct two kinds of map by analyzing the spatial color distributions to t...