Sciweavers

862 search results - page 122 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
IGARSS
2010
15 years 4 months ago
Evaluation of satellite image segmentation using synthetic images
The segmentation stage is a key aspect of an object-based image analysis system. However, the segmentation quality is usually difficult to evaluate for satellite images. The Synth...
André R. S. Marçal, Arlete Rodrigues...
JMLR
2011
187views more  JMLR 2011»
15 years 1 months ago
Exploitation of Machine Learning Techniques in Modelling Phrase Movements for Machine Translation
We propose a distance phrase reordering model (DPR) for statistical machine translation (SMT), where the aim is to learn the grammatical rules and context dependent changes using ...
Yizhao Ni, Craig Saunders, Sándor Szedm&aac...
TSI
2010
15 years 27 days ago
Greta, une plateforme d'agent conversationnel expressif et interactif
This paper presents a generic ,modular and interactive architecture for embodied conversational agent called Greta. It is 3D agent able to communicate with users using verbal and n...
Etienne de Sevin, Radoslaw Niewiadomski, Elisabett...
ICFEM
2009
Springer
15 years 3 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
ATAL
2011
Springer
14 years 6 months ago
GUARDS: game theoretic security allocation on a national scale
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
James Pita, Milind Tambe, Christopher Kiekintveld,...