Sciweavers

11561 search results - page 81 / 2313
» A Language for Biochemical Systems
Sort
View
FLAIRS
2000
15 years 7 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
ECOOP
2009
Springer
16 years 6 months ago
Coinductive Type Systems for Object-Oriented Languages
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
Davide Ancona, Giovanni Lagorio
GW
2005
Springer
119views Biometrics» more  GW 2005»
15 years 11 months ago
A Comparison Between Etymon- and Word-Based Chinese Sign Language Recognition Systems
Hitherto, one major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size. In large vocabulary speech recognition real...
Chunli Wang, Xilin Chen, Wen Gao
LREC
2010
189views Education» more  LREC 2010»
15 years 4 months ago
NLGbAse: A Free Linguistic Resource for Natural Language Processing Systems
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
Eric Charton, Juan Manuel Torres Moreno
INFORMATICALT
1998
101views more  INFORMATICALT 1998»
15 years 5 months ago
Language Egineering in Lithuania
Language engineering encompassing natural language processing and speech processing became very important for a development of every nation in multilingual Europe. After the Counci...
Joana Lipeikiene, Antanas Lipeika