2214 search results - page 319 / 443 » Complexity of Reasoning |
127
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
134
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
127
click to vote
LCPC
2004
Springer
15 years 8 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...
145
click to vote
LPAR
2004
Springer
15 years 8 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. ...
140
click to vote
MMAS
2004
Springer
15 years 8 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...