1750 search results - page 267 / 350 » Formal multiple-bernoulli models for language modeling |
DLOG
2003
14 years 11 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
EOR
2008
14 years 10 months ago
2008
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...
FMSD
2008
14 years 10 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
RSEISP
2007
Springer
15 years 4 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...