Sciweavers

1750 search results - page 29 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
92
Voted
FLAIRS
2006
14 years 11 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
15 years 3 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
ACL
1990
14 years 11 months ago
Computational Structure of Generative Phonology and its Relation to Language Comprehension
We analyse the computational complexity of phonological models as they have developed over the past twenty years. The major results ate that generation and recognition are undecid...
Eric Sven Ristad
WSFM
2007
Springer
15 years 3 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
87
Voted
SAC
2010
ACM
14 years 7 months ago
A formal approach to reuse successful traceability practices in SPL projects
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
Angelina Espinoza, Goetz Botterweck, Juan Garbajos...