4693 search results - page 330 / 939 » Verifying Hybrid Systems |
165
click to vote
VTC
2008
IEEE
16 years 1 months 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...
170
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present AgentSketch, an agentbased system for on-line recognition of hand-drawn diagrams. Agents are used for managing the activity of symbol recognizers and for ...
217
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
140
click to vote
FUIN
2007
15 years 6 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
187
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose a novel method for detecting hands and hand-held objects in desktop manipulation situations. In order to achieve robust tracking under few constraints, we use multiple ...