10038 search results - page 1523 / 2008 » Model Checking for Managers |
198
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
183
click to vote
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
183
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
184
click to vote
GEOS
2007
Springer
16 years 1 months ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
164
Voted
ICIC
2007
Springer
16 years 29 days ago
2007
Springer
Driven by new regulations and animal welfare, the need to develop in silico models has increased recently as alternative approaches to safety assessment of chemicals without animal...