32032 search results - page 6238 / 6407 » Verified programming in Guru |
AAAI
1998
15 years 1 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
109
click to vote
ACL
1998
15 years 1 months ago
1998
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
ANLP
2000
15 years 1 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
AIML
1998
15 years 1 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
124
click to vote
SPIESR
2003
15 years 1 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...