1750 search results - page 81 / 350 » Formal multiple-bernoulli models for language modeling |
165
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
179
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
143
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
153
Voted
TCS
2002
15 years 4 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
166
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...