369 search results - page 69 / 74 » Verification of UML Model Elements Using B |
111
Voted
ICIP
2006
IEEE
16 years 4 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
15 years 9 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 ā...
109
click to vote
NAR
1998
15 years 2 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 ...
130
Voted
SENSYS
2005
ACM
15 years 8 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...
116
Voted
SIAMSC
2011
14 years 9 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...