Sciweavers

1705 search results - page 22 / 341
» Representing Constraints with Automata
Sort
View
JSAI
2005
Springer
15 years 5 months ago
Representing Information Structure in a Formal Grammar of Danish
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
Patrizia Paggio
86
Voted
LREC
2010
195views Education» more  LREC 2010»
15 years 1 months ago
The MuLeXFoR Database: Representing Word-Formation Processes in a Multilingual Lexicographic Environment
This paper introduces a new lexicographic resource, the MuLeXFoR database, which aims to present word-formation processes in a multilingual environment. Morphological items repres...
Bruno Cartoni, Marie-Aude Lefer
ENTCS
2010
122views more  ENTCS 2010»
14 years 12 months ago
Composition of Services with Constraints
Abstract. Web services composition is the interleaving of action sequences executed by elementary components in accordance with a client specification. We consider Web services as ...
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyr...
CIE
2009
Springer
15 years 6 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
CORR
2010
Springer
100views Education» more  CORR 2010»
14 years 9 months ago
Real-Time Sorting of Binary Numbers on One-Dimensional CA
A new fast (real time) sorter of binary numbers by one-dimensional cellular automata is proposed. It sorts a list of n numbers represented by k-bits each in exactly nk steps. This ...
Thomas Worsch, Hidenosuke Nishio