3943 search results - page 216 / 789 » Architecture-Level Requirements Specification |
168
click to vote
ANLP
2000
15 years 8 months ago
2000
We propose a method for identifying diathesis alternations where a particular argument type is seen in slots which have different grammatical roles in the alternating forms. The m...
155
click to vote
DEFORM
2000
15 years 8 months ago
2000
: We present a way to mix the lower control of agents with the high level specifications of their goals. This paper addresses various topics required to animate virtual humans in a...
182
click to vote
PTS
2000
15 years 8 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
174
click to vote
WEBNET
2000
15 years 8 months ago
2000
: This paper presents the design criteria for an Intelligent User Interface to a search engine of an on-line document data base. The Interface is aimed at users that have little or...
160
click to vote
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...