3775 search results - page 652 / 755 » The Expression Problem Revisited |
154
Voted
KI
2007
Springer
15 years 10 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
148
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
122
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-tolerant protocols, asynchronous and synchronous alike, make stationary fault assumptions: only a fraction f of the total n nodes may fail. Whilst a synchronous protocol is ...
133
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
143
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Methods for solving Distributed Constraint Optimization Problems (DCOP) have emerged as key techniques for distributed reasoning. Yet, their application faces significant hurdles...