3225 search results - page 482 / 645 » Compiling Experience into Knowledge |
180
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
171
click to vote
SACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
160
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Packets sent using the IP protocol include the IP address of the sending host. The recipient directs replies to the sender using this source address. However, the correctness of t...
146
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose some improvements to the flooding protocols that aim to efficiently broadcast a given information through the whole ad-hoc network. These improvements ...
186
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Relevance feedback (RF) is an interactive process which refines the retrievals by utilizing user’s feedback history. Most researchers strive to develop new RF techniques and ign...