Sciweavers

2940 search results - page 462 / 588
» Relational Parametricity and Control
Sort
View
IICAI
2007
14 years 11 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
LREC
2008
111views Education» more  LREC 2008»
14 years 11 months ago
Low-Density Language Bootstrapping: the Case of Tajiki Persian
Low-density languages raise difficulties for standard approaches to natural language processing that depend on large online corpora. Using Persian as a case study, we propose a no...
Karine Megerdoomian, Dan Parvaz
LREC
2008
107views Education» more  LREC 2008»
14 years 11 months ago
WOZ Acoustic Data Collection for Interactive TV
This paper describes a multichannel acoustic data collection recorded under the European DICIT project, during the Wizard of Oz (WOZ) experiments carried out at FAU and FBK-irst l...
Alessio Brutti, Luca Cristoforetti, Walter Kellerm...
NETWORKING
2008
14 years 11 months ago
Network Performance Assessment Using Adaptive Traffic Sampling
Multimedia and real-time services are spreading all over the Internet. The delivery quality of such contents is closely related to its network performance, for example in terms suc...
René Serral-Gracià, Albert Cabellos-...
MVA
2007
178views Computer Vision» more  MVA 2007»
14 years 11 months ago
Linear Tracking of Pose and Facial Features
We present an approach for simultaneous monocular 3D face pose and facial animation tracking. The pose and facial features are estimated from observed raw brightness shape-free 2D...
José Alonso Ybáñez Zepeda, Fr...