622 search results - page 62 / 125 » A Method to Retrieve Papers from MEDLINE: PETER System |
166
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...
172
click to vote
ECIR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...
164
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Recommender systems have been widely advocated as a way of coping with the problem of information overload for knowledge workers. Given this, multiple recommendation methods have ...
160
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
187
click to vote
ISB
2002
15 years 5 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...