2490 search results - page 360 / 498 » Complexity of Contextual Reasoning |
132
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
148
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
148
Voted
MMAS
2004
Springer
15 years 9 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
151
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
161
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...