5525 search results - page 855 / 1105 » Verification of Model Transformations |
178
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...
164
click to vote
IDEAS
2007
IEEE
16 years 29 days ago
2007
IEEE
The transversal hypergraph enumeration based algorithms can be efficient in mining frequent itemsets, however it is difficult to apply them to sequence mining problems. In this ...
162
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
189
click to vote
ISBI
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we present a new method for ultrasound image registration. For each image to be registered, our method first applies an ultrasound-specific information-theoretic ...
161
click to vote
ISCAS
2007
IEEE
16 years 29 days ago
2007
IEEE
- We describe a robotic vision system that aligns a camera's optical axis with its direction of translation by estimating the focus of expansion. Visual processing is based on...