1176 search results - page 139 / 236 » Implicit Abstraction Heuristics |
79
Voted
TSP
2008
15 years 15 days ago
2008
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...
94
Voted
CG
2000
Springer
15 years 13 days ago
2000
Springer
Visualization of multi-dimensional data is a challenging task. The goal is not the display of multiple data dimensions, but user comprehension of the multi-dimensional data. This p...
77
Voted
IS
1998
15 years 9 days ago
1998
Abstract - We discuss the impact of locally implemented behaviour on global behaviour specification in a federation of object-oriented databases. In particular, given a specificati...
115
Voted
TVLSI
1998
15 years 8 days ago
1998
Abstract— The growing popularity of look-up table (LUT)based field programmable gate arrays (FPGA’s) has renewed the interest in functional or Roth–Karp decomposition techni...
102
Voted
EWC
2010
14 years 11 months ago
2010
Abstract This paper introduces a three-dimensional mesh generation algorithm for domains whose boundaries are curved surfaces, possibly with sharp features. The algorithm combines ...