Sciweavers

3145 search results - page 399 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
EJC
2010
14 years 11 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
BIOSYSTEMS
2008
85views more  BIOSYSTEMS 2008»
15 years 4 months ago
From a homeostatic to a homeodynamic self
Life as an autonomous homeostatic system is discussed. A mechanism that drives a homeostatic state to an autonomous selfmoving state is examined with two computational cell models...
Takashi Ikegami, Keisuke Suzuki
JLP
2006
111views more  JLP 2006»
15 years 4 months ago
Executable structural operational semantics in Maude
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
Alberto Verdejo, Narciso Martí-Oliet
DAC
1998
ACM
16 years 5 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...
MST
2011
208views Hardware» more  MST 2011»
14 years 11 months ago
Weighted Picture Automata and Weighted Logics
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
Ina Fichtner