4693 search results - page 168 / 939 » Verifying Hybrid Systems |
134
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, a finishing system with a mounted abrasive tool is proposed for finishing of metallic molds. The shape of the mounted abrasive tool is a ball-end type. When a metal...
161
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
We present Bonfire, a self-contained mobile computing system that uses two laptop-mounted laser micro-projectors to project an interactive display space to either side of a laptop...
166
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— We study coding and modulation rate adaptation problem for HARQ systems with partially observable state from cross-layer viewpoint. The rate of convolutionally coded MQAM is ad...
159
click to vote
HIS
2003
15 years 6 months ago
2003
This paper suggests a decision support system for tactical air combat environment where not much prior information is available about the decision regions. We proposed a combinati...
141
click to vote
JUCS
2006
15 years 5 months ago
2006
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...