3931 search results - page 603 / 787 » Separation logic and abstraction |
211
click to vote
APWEB
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We present WBext (Web Browser extended), a web browser extended with client-side mining capabilities. WBext learns sophisticated user interests and browsing habits by tai...
201
click to vote
AUSAI
2003
Springer
16 years 20 days 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. ...
243
click to vote
BIRTHDAY
2003
Springer
16 years 20 days ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
162
click to vote
FC
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Thanks to their broad international acceptance and availability in high denominations, there is widespread concern that Euro banknotes may provide an attractive new curre...
183
click to vote
FIMH
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...