1750 search results - page 219 / 350 » Formal multiple-bernoulli models for language modeling |
126
click to vote
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
135
Voted
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
118
click to vote
POPL
2005
ACM
15 years 7 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
143
click to vote
VL
1999
IEEE
15 years 6 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
103
click to vote
CLIMA
2007
15 years 3 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...