696 search results - page 97 / 140 » Explaining abstract counterexamples |
114
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
122
click to vote
ESAW
2004
Springer
15 years 8 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
147
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
128
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
157
click to vote
ICWL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Agile Teaching/Learning Methodology (ATLM) is a teaching/learning methodology designed for higher-education based on the best practices and ideas from the field of so...