Sciweavers

4074 search results - page 529 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ICC
2007
IEEE
16 years 1 months ago
A Statistical Bit Error Generator for Emulation of Complex Forward Error Correction Schemes
— Forward Error Correction (FEC) schemes are generally used in wireless communication systems to maintain an acceptable quality of service. Various models have been proposed in l...
Reuben A. Farrugia, Carl James Debono
AAAI
1990
15 years 7 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
ENVSOFT
2007
54views more  ENVSOFT 2007»
15 years 6 months ago
Evaluation of landscape and instream modeling to predict watershed nutrient yields
The project goal was to loosely couple the SWAT model and the QUAL2E model and compare their combined ability to predict total phosphorus (TP) and NO3-N plus NO2-N yields to the a...
K. W. Migliaccio, I. Chaubey, B. E. Haggard
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
16 years 26 days ago
Proving Termination of Tree Manipulating Programs
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tom&...
ICIP
2006
IEEE
16 years 8 months ago
Non-Rigid Registration for Automatic Fracture Segmentation
Automatic segmentation of anatomical structures is often performed using model-based non-rigid registration methods. These algorithms work well when the images do not contain any ...
Johanna Pettersson, Hans Knutsson, Magnus Borga