505 search results - page 50 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
COLING
2010
14 years 6 months ago
2010
Hierarchical phrase-based machine translation can capture global reordering with synchronous context-free grammar, but has little ability to evaluate the correctness of word order...
226
click to vote
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
124
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...
WSC
2008
15 years 2 months ago
2008
In today's global marketplace, the information associated with a product is fast becoming a critical link in the supply chain. Especially in fast moving consumer goods (FMCGs...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...