1188 search results - page 34 / 238 » Generating Connectives |
TCAD
2002
14 years 11 months ago
2002
Abstract--This paper presents a solution to the problem of performance-driven buffered routing tree generation for VLSI circuits. Using a novel bottom-up construction algorithm and...
100
click to vote
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
108
click to vote
GMAI
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
107
click to vote
IMR
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a new computational method for anisotropic tetrahedral meshing that (1) can control shapes of the elements by an arbitrary anisotropy function, and (2) can avo...
IJSM
2006
14 years 11 months ago
2006
In a previous work [1] we introduced a construction designed to produce biorthogonal multiresolutions from given subdivisions. This construction was formulated in matrix terms, wh...