2022 search results - page 352 / 405 » Complexity of Non-Monotonic Logics |
ATVA
2008
Springer
15 years 23 days ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
107
click to vote
AUSDM
2008
Springer
15 years 23 days ago
2008
Springer
Accurate and less invasive personalized predictive medicine can spare many breast cancer patients from receiving complex surgical biopsies, unnecessary adjuvant treatments and its...
118
click to vote
CF
2008
ACM
15 years 23 days ago
2008
ACM
To meet growing terabit link rates, highly parallel and scalable architectures are needed for IP lookup engines in next generation routers. This paper proposes an SRAM-based multi...
ICALP
2010
Springer
15 years 22 days ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
DOLAP
2005
ACM
15 years 22 days ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...