590 search results - page 72 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
164
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
275
click to vote
ICNP
1997
IEEE
15 years 10 months ago
1997
IEEE
The e cient support of data tra c over ATM networks requires congestion control, whose objectives include maximizing throughput, minimizing switch bu er requirement, and attaining...
181
click to vote
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
173
click to vote
AIED
2009
Springer
16 years 22 days ago
2009
Springer
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
189
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...