727 search results - page 62 / 146 » Finite Resolution Dynamics |
CORR
2006
Springer
15 years 24 days ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
89
Voted
BMCBI
2007
15 years 23 days ago
2007
Many different approaches have been developed to model and simulate gene regulatory networks. We proposed the following categories for gene regulatory network models: network part...
112
click to vote
INFORMATICALT
2008
15 years 23 days ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
111
click to vote
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we address two closely related visual tracking problems: 1) localizing a target's position in low or moderate resolution videos and 2) segmenting a target'...