Sciweavers

17298 search results - page 74 / 3460
» Abstract computing machines
Sort
View
ACL
2009
13 years 7 months ago
A Web-Based Interactive Computer Aided Translation Tool
We developed caitra, a novel tool that aids human translators by (a) making suggestions for sentence completion in an interactive machine translation setting, (b) providing altern...
Philipp Koehn
GI
2009
Springer
14 years 2 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
CEC
2008
IEEE
14 years 4 months ago
DCA for bot detection
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
Yousof Al-Hammadi, Uwe Aickelin, Julie Greensmith
AMAST
2004
Springer
14 years 3 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
ICPR
2010
IEEE
13 years 7 months ago
Speech Emotion Classification and Public Speaking Skill Assessment
Abstract. This paper presents a new classification algorithm for realtime inference of emotions from the non-verbal features of speech. It identifies simultaneously occurring emoti...
Tomas Pfister, Peter Robinson