4211 search results - page 355 / 843 » A formal approach to MASQ |
168
click to vote
ROOM
2000
15 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
136
click to vote
COLING
1996
15 years 8 months ago
1996
This article is concerned with the building of a test data set for assisting the industrial user in machine translation evaluation. The emphasis is laid on the interest of an appr...
171
click to vote
IJCAI
1993
15 years 8 months ago
1993
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
153
click to vote
NAACL
1994
15 years 8 months ago
1994
In this paper, we describe a reversibleletter-to-sound/soundto-letter generation system based on an approach which combines a rule-based formalism with data-driven techniques. We ...
163
click to vote
IJCAI
1989
15 years 8 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...