4140 search results - page 625 / 828 » A Use Case Based Approach to Feature Models' Construction |
188
click to vote
JAR
2000
15 years 6 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
160
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
In a number of engineering problems, e.g. in geotechnics, petroleum engineering, etc. intervals of measured series data (signals) are to be attributed a class maintaining the cons...
187
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
154
click to vote
JIS
2010
15 years 4 months ago
2010
Websites that provide content creation and sharing features have become quite popular recently. These sites allow users to categorize and browse content using ‘tags’ or free-t...
304
click to vote
TREC
2004
15 years 7 months ago
2004
This paper provides an overview of experiments carried out at the TREC 2004 Terabyte Track using the Indri search engine. Indri is an efficient, effective distributed search engin...