1750 search results - page 140 / 350 » Formal multiple-bernoulli models for language modeling |
210
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
152
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
168
click to vote
IPM
2006
15 years 6 months ago
2006
This paper presents a probabilistic information retrieval framework in which the retrieval problem is formally treated as a statistical decision problem. In this framework, querie...
154
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
172
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...