4276 search results - page 527 / 856 » Techniques for Empirical Validation |
174
click to vote
LCTRTS
2005
Springer
16 years 4 days ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
148
click to vote
RE
2005
Springer
16 years 3 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
214
click to vote
STACS
2005
Springer
16 years 3 days ago
2005
Springer
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
176
click to vote
ARGMAS
2004
Springer
16 years 1 days ago
2004
Springer
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...
170
Voted
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
Partially observable decentralized decision making in robot teams is fundamentally different from decision making in fully observable problems. Team members cannot simply apply si...