2253 search results - page 344 / 451 » Computing with Realizational Morphology |
117
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
150
click to vote
COST
2007
Springer
15 years 10 months ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
155
click to vote
CSCLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...
143
click to vote
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
Many emergent distributed sensing applications need to keep track of mobile entities across multiple sensor networks connected via an IP network. To simplify the realization of suc...
144
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...