2490 search results - page 286 / 498 » Complexity of Contextual Reasoning |
132
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
157
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
142
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
152
Voted
ECBS
2008
IEEE
15 years 6 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
135
click to vote
ICANNGA
2007
Springer
15 years 6 months ago
2007
Springer
Significant improvement over a patented lens design is achieved using multi-objective evolutionary optimization. A comparison of the results obtained from NSGA2 and ε-MOEA is done...