1415 search results - page 88 / 283 » Verified systems by composition from verified components |
159
click to vote
VTC
2008
IEEE
16 years 22 days ago
2008
IEEE
- In this paper, we consider novel cooperative transmission from multiple base stations in multi-user wireless systems. The proposed scheme generates multiple beams using partial c...
180
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
133
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract - In this paper we present an approach to incorporate design schedule management services into a flow management system. The basis of our approach is to derive a design s...
162
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
When many mobile robots should achieve cooperation, local communication system is considered appropriate from the standpoint of the cost and capacity of communication. This paper ...
149
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...