1750 search results - page 69 / 350 » Formal multiple-bernoulli models for language modeling |
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
108
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
108
click to vote
BIS
2010
14 years 7 months ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
FAC
2002
14 years 9 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
104
click to vote
CN
1999
14 years 9 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...