1033 search results - page 56 / 207 » Properties of Exercise Strategies |
IJFCS
2008
14 years 10 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
ACE
2004
14 years 11 months ago
2004
A key problem in facilitating a successful online course is the highly time -consuming nature of the administrative and pedagogical tasks involved. It is also difficult to achieve...
174
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
MFCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...