Sciweavers

3145 search results - page 73 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 1 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
UML
2004
Springer
15 years 3 months ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
ICGI
2000
Springer
15 years 1 months ago
Counting Extensional Differences in BC-Learning
Let BC be the model of behaviourally correct function learning as introduced by B
Frank Stephan, Sebastiaan Terwijn
FDL
2005
IEEE
15 years 3 months ago
Mixing Synchronous Reactive and Untimed Models of Computation
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
Fernando Herrera, Eugenio Villar
COLING
1990
14 years 11 months ago
Solving Ambiguities In The Semantic Representation Of Texts
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
Marie-Claude Landau