1157 search results - page 171 / 232 » Descriptive Complexity and Model Checking |
78
Voted
ENVSOFT
2007
15 years 13 days 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...
99
Voted
HICSS
2003
IEEE
15 years 5 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 ...
112
Voted
ANOR
2004
15 years 11 days 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...
110
Voted
BMCBI
2008
15 years 18 days 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...
104
Voted
IJCNN
2006
IEEE
15 years 6 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...