8874 search results - page 182 / 1775 » A New Implementation of Automath |
118
click to vote
IJBI
2010
14 years 11 months ago
2010
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
130
click to vote
SIGACT
2010
14 years 11 months ago
2010
Reconfiguration means changing the set of processes executing a distributed system. We explain several methods for reconfiguring a system implemented using the state-machine appro...
115
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In the present paper we present a new approach to the synthesis of filled pauses. The problem is tackled from the point of view of disfluent speech synthesis. Based on the synth...
123
click to vote
ACSC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
185
click to vote
SCP
2011
14 years 11 months ago
2011
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...