3028 search results - page 373 / 606 » Integrating Temporal Logics |
147
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
186
click to vote
ICMLA
2007
15 years 8 months ago
2007
We develop an optical flow estimation framework that focuses on motion estimation over time formulated in a Dynamic Bayesian Network. It realizes a spatiotemporal integration of ...
171
click to vote
ICONIP
2007
15 years 8 months ago
2007
We proposed a neural segmentation model that is suitable for implementation in analog VLSIs using conventional CMOS technology. The model consists of neural oscillators mutually co...
159
click to vote
ACL
2003
15 years 8 months ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
151
click to vote
IJCAI
2003
15 years 8 months ago
2003
This poster describes methods to enable intelligent access to multimodal information streams. We illustrate these methods in two integrated systems: the Broadcast News Editor (BNE...