8874 search results - page 172 / 1775 » A New Implementation of Automath |
119
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Web usage mining exploits data mining techniques to discover valuable information from navigation behavior of World Wide Web (WWW) users. The required information is captured b...
140
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Test case prioritization techniques have been shown to be beneficial for improving regression-testing activities. With prioritization, the rate of fault detection is improved, thu...
146
click to vote
FSE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a new class of stream ciphers based on a very simple mechanism. The heart of our method is a Feedback with Carry Shift Registers (FCSR) automaton. This au...
133
Voted
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...
151
click to vote
SSIAI
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...