590 search results - page 32 / 118 » On the Systematic Analysis of Natural Language Requirements ... |
FDL
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
CG
2007
Springer
13 years 7 months ago
2007
Springer
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
114
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...