923 search results - page 54 / 185 » On a generalization of Stickelberger's Theorem |
145
click to vote
JSYML
2011
15 years 1 months ago
2011
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
159
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
208
click to vote
TSP
2010
15 years 25 days ago
2010
We address the problem in signal classification applications, such as automatic speech recognition (ASR) systems that employ the hidden Markov model (HMM), that it is necessary to...
175
click to vote
TSP
2010
15 years 25 days ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
186
click to vote
COMGEO
2012
ACM
14 years 1 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...