924 search results - page 94 / 185 » Teaching simulation using case studies |
129
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
112
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
115
click to vote
DSD
2008
IEEE
15 years 9 months ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
111
click to vote
EMO
2001
Springer
15 years 7 months ago
2001
Springer
The conventional weighted aggregation method is extended to realize multi-objective optimization. The basic idea is that systematically changing the weights during evolution will l...
127
click to vote
ICCCN
1998
IEEE
15 years 7 months ago
1998
IEEE
Wepropose an on-line wavelength assignment algorithm for multi-jiber WDM networks, in which lightpaths are established and released dynamically. For a given number of jibers per l...