7064 search results - page 1184 / 1413 » From States to Histories |
193
click to vote
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
189
click to vote
TIP
2010
15 years 1 months ago
2010
We propose algorithms for tracking the boundary contour of a deforming object from an image sequence, when the nonaffine (local) deformation over consecutive frames is large and th...
196
click to vote
TMM
2010
15 years 1 months ago
2010
In this paper we report on our experiments on aligning names and faces as found in images and captions of online news websites. Developing accurate technologies for linking names a...
151
click to vote
TSP
2010
15 years 1 months ago
2010
We consider the robust precoder design for Multi-User Multiple Input Single Output (MU-MISO) systems where the Channel State Information (CSI) is fed back from the single antenna ...
166
click to vote
TSP
2010
15 years 1 months ago
2010
Both direct and indirect methods exist for identifying continuous-time linear systems. A direct method estimates continuous-time input and output signals from their samples and the...