Sciweavers

8582 search results - page 136 / 1717
» Here or There
Sort
View
ICGI
2004
Springer
15 years 12 months ago
Learning Stochastic Finite Automata
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...
Colin de la Higuera, José Oncina
ICTAC
2004
Springer
15 years 12 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez
INTELLCOMM
2004
Springer
15 years 12 months ago
Secure Many-to-One Transmission of q-ary Symbols
There is a number of applications requiring a community of many senders to transmit some real-time information to a single receiver. Using unicast connections to send this traffic ...
Antoni Martínez-Ballesté, Francesc S...
ISMIR
2004
Springer
105views Music» more  ISMIR 2004»
15 years 12 months ago
Pregroup Grammars for Chords
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...
Richard Terrat
JELIA
2004
Springer
15 years 12 months ago
A System with Template Answer Set Programs
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
Francesco Calimeri, Giovambattista Ianni, Giuseppe...