Sciweavers

660 search results - page 44 / 132
» Formalizing the Development of Agent-Based Systems Using Gra...
Sort
View
ASE
1999
126views more  ASE 1999»
15 years 2 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
EACL
1989
ACL Anthology
15 years 3 months ago
Computational Semantics Of Mass Terms
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
Jan Tore Lønning
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 2 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
ACL
2000
15 years 3 months ago
Diagnostic Processing of Japanese for Computer-Assisted Second Language Learning
As an application of NLP to computer-assisted language learning(CALL) , we propose a diagnostic processing of Japanese being able to detect errors and inappropriateness of sentenc...
Jun'ichi Kakegawa, Hisayuki Kanda, Eitaro Fujioka,...
115
Voted
NLDB
2007
Springer
15 years 8 months ago
Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
Odile Piton, Klara Lagji, Remzi Përnaska