2586 search results - page 249 / 518 » Automatic Abstraction for Congruences |
137
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
166
click to vote
AMS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
143
click to vote
ATVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
209
click to vote
AUSAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
158
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...