2715 search results - page 26 / 543 » An Implementation of Narrowing Strategies |
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes a structured blended learning for providing elearning strategies adopted by the Open University of Hong Kong (OUHK). The paper identified the factors ...
MASCOTS
2000
13 years 9 months ago
2000
The key performance bottleneck for a video-on-demand (VOD) server is bandwidth, which controls the number of clients the server can simultaneously support. Previous work has shown...
FSTTCS
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
ENTCS
2008
13 years 7 months ago
2008
In this paper we present the essential feature we have considered when designing a new language based on rules and strategies. Relying on the implementation of Tom, we explain how...
ENTCS
2007
13 years 7 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...