1275 search results - page 140 / 255 » A Simple Focused Crawler |
163
click to vote
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we describe a new approach to information extraction that neatly integrates top-down hypothesis driven information with bottom-up data driven information. ...
171
click to vote
CHES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Efficient implementations of RSA on computationally limited devices, such as smartcards, often use the CRT technique in combination with Garner’s algorithm in order to ...
154
click to vote
DSOM
2003
Springer
15 years 11 months ago
2003
Springer
One of the main problems with today's Internet traffic analysis is caused by the large number of network-based applications whose types and traffic patterns are more complicat...
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
134
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...