8874 search results - page 249 / 1775 » A New Implementation of Automath |
174
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
127
click to vote
TVCG
2010
14 years 11 months ago
2010
Focus+context interaction techniques based on the metaphor of lenses are used to navigate and interact with objects in large information spaces. They provide in-place magnification...
112
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
It is now well known that time invariant (TI) linear beamformers, such as the Capon’s beamformer, are only optimal for stationary Gaussian observations whose complex envelope is...
139
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents an online feature selection and classification algorithm. The algorithm is implemented for impact acoustics signals to sort hazelnut kernels. The classifier, w...
148
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...