279 search results - page 50 / 56 » An Exploratory Study of Information Retrieval Techniques in ... |
AOSE
2005
Springer
14 years 2 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
BIRTHDAY
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
SIGIR
2011
ACM
12 years 11 months ago
2011
ACM
We study the problem of automatically assigning appropriate music pieces to a picture or, in general, series of pictures. This task, commonly referred to as soundtrack suggestion,...