5946 search results - page 821 / 1190 » Visual requirement representation |
166
click to vote
ANLP
1994
15 years 8 months ago
1994
We report on the results of a series of experiments with a prototype text retrieval system which uses relatively advanced natural language processing techniques in order to enhanc...
154
click to vote
IJCAI
1993
15 years 8 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
187
click to vote
PSTV
1993
15 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
154
click to vote
IJCAI
1989
15 years 8 months ago
1989
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
193
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...