Sciweavers

1683 search results - page 93 / 337
» Testing system virtual machines
Sort
View
AI50
2006
15 years 7 months ago
Intrinsically Motivated Machines
Abstract. Children seem intrinsically motivated to manipulate, to explore, to test, to learn and they look for activities and situations that provide such learning opportunities. I...
Frédéric Kaplan, Pierre-Yves Oudeyer
DEDS
2008
127views more  DEDS 2008»
15 years 3 months ago
Diagnosability Analysis of a Class of Hierarchical State Machines
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
Andrea Paoli, Stéphane Lafortune
CCS
2007
ACM
15 years 10 months ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin
IEE
2002
110views more  IEE 2002»
15 years 3 months ago
Open source software projects as virtual organisations: competency rallying for software development
: This paper contributes to the identification and testing of factors important for the success of open source software (OSS) projects. We present an analysis of OSS communities as...
Kevin Crowston, Barbara Scozzi
ACL
2001
15 years 5 months ago
Towards a Unified Approach to Memory- and Statistical-Based Machine Translation
We present a set of algorithms that enable us to translate natural language sentences by exploiting both a translation memory and a statistical-based translation model. Our result...
Daniel Marcu