1458 search results - page 159 / 292 » Monads for incremental computing |
123
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Extracting the inductance of complex interconnect topologies is a formidable task, and simulating the resulting dense partial inductance matrix is even more difficult. Furthermore...
144
Voted
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a new method for video retargeting, which can generate spatial-temporal consistent video. The new measure called spatial-temporal naturality preserves the motion in the ...
108
Voted
WETICE
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
122
Voted
EXACT
2007
15 years 6 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
116
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents an eļ¬cient hardware architecture of an on-chip logic minimization coprocessor. The proposed architecture employs TCAM cells to provide fastest and memory eļ¬...