8828 search results - page 1487 / 1766 » Formal methods in practice |
170
click to vote
ECML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We study the problem of learning from positive and unlabeled examples. Although several techniques exist for dealing with this problem, they all assume that positive exam...
187
click to vote
EUROPKI
2005
Springer
16 years 8 days ago
2005
Springer
Credentials like passwords or cryptographic key pairs are a means to prove one’s identity to a web server. A practical problem in this context is the question of how a user can t...
158
click to vote
FC
2005
Springer
16 years 8 days ago
2005
Springer
A coupon represents the right to claim some service which is typically offered by vendors. In practice, issuing bundled multi-coupons is more efficient than issuing single coupons...
187
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
A parallel MPEG-4 Simple Profile encoder for FPGA based multiprocessor System-on-Chip (SOC) is presented. The goal is a computationally scalable framework independent of platform....
160
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Recurrent neural networks are theoretically capable of learning complex temporal sequences, but training them through gradient-descent is too slow and unstable for practical use i...