8874 search results - page 319 / 1775 » A New Implementation of Automath |
143
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
258
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
User-to-tag authentication can prevent a variety of potential attacks on personal RFID tags. In this poster, a new RFID authentication scheme is presented that allows a user to co...
151
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a technique for denoising speech using nonnegative matrix factorization (NMF) in combination with statistical speech and noise models. We compare our new technique to s...
164
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
170
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...