2722 search results - page 117 / 545 » Automating Language Evolution |
123
click to vote
ENTCS
2006
15 years 2 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
105
Voted
DATASCIENCE
2007
15 years 2 months ago
2007
This paper presents results in automated genre classification of digital documents in PDF format. It describes genre classification as an important ingredient in contextualising s...
141
click to vote
SIGADA
2001
Springer
15 years 7 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
114
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
145
Voted
ICMI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...