2748 search results - page 214 / 550 » Generating Object-Z Specifications from Use Cases |
76
Voted
CCE
2008
15 years 27 days ago
2008
This paper presents a technique for simultaneous targeting and design in cooling water systems comprising of at least two cooling towers and several cooling water using operations...
AIED
2007
Springer
15 years 7 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...
122
Voted
AI
2010
Springer
15 years 28 days ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
99
Voted
ISMB
1993
15 years 2 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
133
click to vote
ICONIP
2007
15 years 2 months ago
2007
Abstract. An effective way to examine causality is to conduct an experiment with random assignment. However, in many cases it is impossible or too expensive to perform controlled ...