Sciweavers

4743 search results - page 473 / 949
» The PlusCal Algorithm Language
Sort
View
123
Voted
AAAI
1994
15 years 4 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
164
Voted
AAAI
1996
15 years 4 months ago
Irrelevance and Conditioning in First-Order Probabilistic Logic
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
Daphne Koller, Joseph Y. Halpern
AAAI
1994
15 years 4 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram
113
Voted
COLING
1996
15 years 4 months ago
Example-Based Machine Translation in the Pangloss System
The Pangloss Example-Based Machine Translation engine (I'anEI3MT) l is a translation system reql,iring essentially no knowledge of the structure of a language, merely a large...
Ralf D. Brown
121
Voted
WCE
2007
15 years 4 months ago
Secure Multicarrier Modem on FPGA
— The paper deals with the design and realization of a secure multicarrier modem on FPGA. The crypto-modem principle is adopted. An encryption block is integrated in the modem tr...
Galia Marinova, Vassil Guliashki, Didier Le Ruyet,...