4516 search results - page 215 / 904 » Automated System Design for Availability |
169
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
120
click to vote
DCC
2004
IEEE
15 years 8 months ago
2004
IEEE
A channel code allocation scheme is developed for transmission of video over error-prone channels. The system is designed to minimize the expected distortion of the video under a ...
130
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
145
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
141
click to vote
AEI
2006
15 years 5 months ago
2006
This manuscript presents a design for the emergent generation of short-term forecasts in multi-agent coordination and control systems. Food foraging behavior in ant colonies const...