9370 search results - page 1603 / 1874 » An Abstract Notion of Application |
165
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
—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...
153
click to vote
BILDMED
2009
15 years 7 months ago
2009
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...
176
click to vote
BILDMED
2009
15 years 7 months ago
2009
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...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
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...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
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...