184 search results - page 30 / 37 » An optimal adaptive mixed finite element method |
DLOG
2010
13 years 5 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
ANTSW
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The visual localization problem in robotics poses a dynamically changing environment due to the movement of the robot compared to a static image set serving as environmen...
ICCAD
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents an efficient method for optimizing power/ground (P/G) networks by widening wires and adding decoupling capacitors (decaps). It proposes a structured skeleton t...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...