8094 search results - page 161 / 1619 » Improvements in Formula Generalization |
159
click to vote
SUM
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumen...
189
click to vote
TABLEAUX
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
170
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
158
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
Host-based rerouting mechanism is a routing scheme that stores and forwards data in application layer. With this, users can communicate in a indirect way. Thus, identity informati...
181
Voted
ARTQOS
2003
Springer
15 years 11 months ago
2003
Springer
A crucial factor for real-time (interactive) services is the end-to-end delay experienced by the application. The contribution resulting from the queuing delay induced by the netwo...