5550 search results - page 905 / 1110 » Different Approaches to Proof Systems |
205
click to vote
CLEF
2007
Springer
16 years 26 days ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
203
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...
187
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
217
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
228
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Customized marketing, so called 1-to-1 marketing, is often viewed as the panacea of e-commerce. User profiles, such as click streams logging every site the user accesses, are expl...