2203 search results - page 319 / 441 » Temporal Abstract Interpretation |
122
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
177
click to vote
VISSYM
2007
15 years 6 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
143
Voted
NIPS
2008
15 years 5 months ago
2008
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
170
click to vote
FUIN
2007
15 years 3 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
144
Voted
TCAD
2008
15 years 3 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...