369 search results - page 69 / 74 » Verification of UML Model Elements Using B |
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
A novel procedure for in-silico (virtual) craniofacial reconstruction of human mandibles with multiple fractures from a sequence of Computed Tomography (CT) images is presented. T...
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
We consider the problem of efļ¬cient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ā...
NAR
1998
13 years 7 months ago
1998
We have continued to develop MITOMAP (http://www.gen.emory.edu/MITOMAP ), a comprehensive database for the human mitochondrial DNA (mtDNA). MITOMAP uses the mtDNA sequence as the ...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...
SIAMSC
2011
13 years 2 months ago
2011
Abstract. In this paper, we propose new adaptive local reļ¬nement (ALR) strategies for ļ¬rstorder system least-squares (FOSLS) ļ¬nite element in conjunction with algebraic multi...