1157 search results - page 171 / 232 » Descriptive Complexity and Model Checking |
ENVSOFT
2007
13 years 8 months ago
2007
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
ANOR
2004
13 years 8 months ago
2004
Airline crew rostering is an important part of airline operations and an interesting problem for the application of operations research. The objective is to assign anonymous crew p...
BMCBI
2008
13 years 8 months ago
2008
Background: The most renowned biological ontology, Gene Ontology (GO) is widely used for annotations of genes and gene products of different organisms. However, there are shortcom...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— This work presents a new architecture of artificial neural networks – Venn Networks, which produce localized activations in a 2D map while executing simple cognitive tasks. T...