3342 search results - page 138 / 669 » Automating Abstract Interpretation |
AIED
2005
Springer
15 years 4 months 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...
CAV
2005
Springer
15 years 4 months 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...
ICARIS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
120
click to vote
SPW
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
ICCHP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper reviews the extensive state of the art in automated recognition of continuous signs, from different languages, based on the data sets used, features computed, ...