Sciweavers

9370 search results - page 1603 / 1874
» An Abstract Notion of Application
Sort
View
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 7 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
BILDMED
2009
115views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Long Bone X-ray Image Stitching Using C-arm Motion Estimation
Abstract. In this paper, we propose a novel method to generate panoramic X-ray images intra-operatively by using the previously introduced camera augmented mobile C-arm by Navab et...
Lejing Wang, Jörg Traub, Sandro Michael Heini...
BILDMED
2009
161views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Estimation of Inner Lung Motion Fields by Non-linear Registration
Abstract. Detailed analysis of breathing dynamics, as motivated by radiotherapy of lung tumors, requires accurate estimates of inner lung motion fields. We present an evaluation an...
René Werner, Jan Ehrhardt, Alexander Schmid...
ATAL
2010
Springer
15 years 7 months ago
Image based exploration for indoor environments using local features
d Abstract) Aravindhan K Krishnan Madhava Krishna Supreeth Achar This paper presents an approach to explore an unknown indoor environment using vision as the sensing modality, t...
Aravindhan K. Krishnan, K. Madhava Krishna, Supree...
ATAL
2010
Springer
15 years 7 months ago
Exploiting domain knowledge to improve norm synthesis
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
George Christelis, Michael Rovatsos, Ronald P. A. ...
« Prev « First page 1603 / 1874 Last » Next »