2082 search results - page 336 / 417 » Change Paths in Reasoning! |
JSAC
2007
13 years 10 months ago
2007
— We introduce a new version of the widely studied survivable mapping problem in IP-over-WDM networks. The new problem allows augmenting the given logical topology and is describ...
AI
2004
Springer
13 years 10 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
CCE
2004
13 years 10 months ago
2004
The paper addresses control related design issues for neutralization plants. Mainly for control reasons, the neutralization is usually performed in several steps (mixing tanks) wi...
COMPSEC
2002
13 years 10 months ago
2002
In a user hierarchy we say that a security class is subordinate to another security class if the former has a lower security privilege than the latter. To implement such a hierarc...
PAAPP
2002
13 years 9 months ago
2002
Abstract. The performance of shared-memory (OpenMP) implementations of three different PDE solver kernels representing finite difference methods, finite volume methods, and spectra...