Sciweavers

4767 search results - page 320 / 954
» Moving between Contexts
Sort
View
NAACL
1994
15 years 8 months ago
Tree-Based State Tying for High Accuracy Modelling
The key problem to be faced when building a HMM-based continuous speech recogniser is maintaining the balance between model complexity and available training data. For large vocab...
S. J. Young, J. J. Odell, Philip C. Woodland
183
Voted
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 6 months ago
A compact topology for sand automata
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
Alberto Dennunzio, Pierre Guillon, Benoît Ma...
163
Voted
JUCS
2008
149views more  JUCS 2008»
15 years 6 months ago
Binary Methods Programming: the Clos Perspective
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
Didier Verna
177
Voted
ENTCS
2002
95views more  ENTCS 2002»
15 years 6 months ago
A Proof Dedicated Meta-Language
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
David Delahaye
AIL
1999
134views more  AIL 1999»
15 years 6 months ago
An Ontology for Commitments in Multiagent Systems
Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for ...
Munindar P. Singh