12981 search results - page 2094 / 2597 » Model Checking (Abstract) |
192
click to vote
JCC
2008
15 years 7 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
194
click to vote
JCP
2008
15 years 7 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
136
click to vote
INFORMATICALT
2006
15 years 7 months ago
2006
Abstract. Determination of stress strain state components of butt welded joint with a mild interlayer at elasto-plastic tension is presented in this paper. Function of normal trans...
208
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
219
click to vote
JUCS
2008
15 years 7 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...