8874 search results - page 315 / 1775 » A New Implementation of Automath |
169
click to vote
JCC
2007
15 years 6 months ago
2007
In technical chemistry, systems biology and biotechnology, the construction of predictive models has become an essential step in process design and product optimization. Accurate ...
208
click to vote
SIGMOD
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...
170
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a new robust feature extraction algorithm based on a modified approach to power bias subtraction combined with applying a threshold to the power spectral dens...
169
click to vote
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
194
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...