6020 search results - page 389 / 1204 » A New Approach to Model Counting |
165
click to vote
ICIAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In the context of computer assist surgical techniques, a new elastic registration method of 3D meshes is presented. In our applications, one mesh is a high density mesh (...
189
click to vote
MICCAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
173
click to vote
PATMOS
2004
Springer
16 years 5 days ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
177
click to vote
DESRIST
2010
Springer
15 years 11 months ago
2010
Springer
Enterprise architecture (EA) describes the fundamental structure of an organization from business to IT. EA as a practice as well as a research topic has been around for several ye...
164
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
— Typically, placement algorithms attempt to minimize the total net length of a printed circuit board (PCB). However, an MCM’s increased throughput and dense circuitry can easi...