4693 search results - page 362 / 939 » Verifying Hybrid Systems |
156
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— A critical assumption of many multi-view control systems is the initial visibility of the regions of interest from all the views. An initialization step is proposed for a hybri...
172
click to vote
AINA
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper proposes the concept of the hybrid information space that integrates the information space seamlessly between the real world and the virtual world, and the prototype sy...
149
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...
172
click to vote
SIMVIS
2000
15 years 8 months ago
2000
We discuss the problems to be solved to develop a web-based vector field visualization system. Furthermore we present the system CurVis as one solution of these problems. As part ...
165
click to vote
BPSC
2009
15 years 7 months ago
2009
: In Service Oriented systems organisational processes are represented as WS-BPEL workflows, BPEL is different from traditional workflow languages as a hybrid of block-based and gr...