Sciweavers

2552 search results - page 319 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
WSC
2004
15 years 7 months ago
Airport Terminal-Approach Safety and Capacity Analysis Using an Agent-Based Model
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
Yue Xie, John Shortle, George Donohue
FMICS
2009
Springer
16 years 10 days ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 10 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
152
Voted
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 6 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
ICCCN
2008
IEEE
16 years 6 days ago
Modeling and Adapting JPEG to the Energy Requirements of VSN
—We address the problem of modeling and adapting JPEG to the energy requirements of Visual Sensor Networks (VSN). For JPEG modeling purposes, we develop a simplified high-level ...
Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Br...