1750 search results - page 206 / 350 » Formal multiple-bernoulli models for language modeling |
121
click to vote
AAAI
2000
15 years 3 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
104
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
121
Voted
MSWIM
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
149
Voted
JBI
2008
15 years 1 months ago
2008
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
120
click to vote
ICCS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...