Sciweavers

4067 search results - page 392 / 814
» Programs for Applying Symmetries
Sort
View
IJAR
2010
106views more  IJAR 2010»
15 years 5 months ago
A minimum distance estimator in an imprecise probability model - Computational aspects and applications
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
Robert Hable
ICSOC
2009
Springer
15 years 4 months ago
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
Florian Gilles, Volker Hoyer, Till Janner, Katarin...
COMMA
2010
15 years 1 months ago
Dialectical Proofs for Constrained Argumentation
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
Caroline Devred, Sylvie Doutre, Claire Lefè...
ICASSP
2011
IEEE
14 years 10 months ago
Template-based methods for sentence generation and speech synthesis
Here we propose a sentence-generation method using templates that can be applied to create a speech database. This method requires the recording of a relatively small sentence set...
Hiroyuki Segi, Reiko Takou, Nobumasa Seiyama, Tohr...
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 7 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...