Sciweavers

1953 search results - page 198 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
135
Voted
EAAI
2007
135views more  EAAI 2007»
15 years 3 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
IJBC
2007
90views more  IJBC 2007»
15 years 3 months ago
Extended Phase Diagram of the Lorenz Model
The parameter dependence of the various attractive solutions of the three variable nonlinear Lorenz model equations for thermal convection in Rayleigh-B´enard flow is studied. I...
H. R. Dullin, S. Schmidt, P. H. Richter, S. K. Gro...
132
Voted
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
15 years 7 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
NETWORKING
2008
15 years 5 months ago
Cache Placement Optimization in Hierarchical Networks: Analysis and Performance Evaluation
Caching popular content in the Internet has been recognized as one of the effective solution to alleviate network congestion and accelerate user information access. Sharing and coo...
Wenzhong Li, Edward Chan, Yilin Wang, Daoxu Chen, ...
TSD
2000
Springer
15 years 7 months ago
Extending Bidirectional Chart Parsing with a Stochastic Model
A method for stochastically modeling bidirectionality in chart parsing is presented. A bidirectional parser, which starts analysis from certain dynamically determined positions of ...
Alicia Ageno, Horacio Rodríguez