1157 search results - page 144 / 232 » Descriptive Complexity and Model Checking |
BIOCOMP
2006
13 years 11 months ago
2006
The history of molecular biology is punctuated by a series of discoveries demonstrating the surprising breadth of biological roles of ribonucleic acid (RNA). An ensemble of evoluti...
NIPS
2000
13 years 11 months ago
2000
How should we decide among competing explanations of a cognitive process given limited observations? The problem of model selection is at the heart of progress in cognitive scienc...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In complex multi-agent fusion systems resource conflicts are very likely to occur. We propose an algorithm that determines the optimal sensing resource to fusion task assignment,...
PNPM
1989
14 years 2 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
SEC
2000
13 years 11 months ago
2000
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...