8874 search results - page 304 / 1775 » A New Implementation of Automath |
131
click to vote
ANLP
2000
15 years 8 months ago
2000
Customer care in technical domains is increasingly based on e-mail communication, allowing for the reproduction of approved solutions. Identifying the customer's problem is o...
173
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: With new techniques, such as Microformats or RDFa, for integrating semantics into existing web formats, we expect a strong increase of semantically annotated documents in...
175
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
181
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...
168
click to vote
JOT
2007
15 years 6 months ago
2007
Configuration management, the traditional CM, has been subsumed by a new CM, change management. The strategic organization looks ahead and this includes planning for change. This ...