Sciweavers

3454 search results - page 387 / 691
» Modern computer algebra
Sort
View
ICCS
2004
Springer
16 years 2 days ago
A Priorean Approach to Time Ontologies
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
Peter Øhrstrøm, Henrik Schärfe
TEX
2004
Springer
283views Latex» more  TEX 2004»
16 years 1 days ago
Creating Type 1 Fonts from METAFONT Sources
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
Karel Píska
166
Voted
P2P
2003
IEEE
15 years 12 months ago
Secure and Resilient Peer-to-Peer E-Mail: Design and Implementation
E-mail is a mission-critical communication function for virtually all institutions. Modern e-mail employs a servercentric design, in which the user is critically dependent on her ...
Jussi Kangasharju, Keith W. Ross, David A. Turner
SBACPAD
2003
IEEE
75views Hardware» more  SBACPAD 2003»
15 years 12 months ago
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors
Trace reuse improves the performance of processors by skipping the execution of sequences of redundant instructions. However, many reusable traces do not have all of their inputs ...
Maurício L. Pilla, Amarildo T. da Costa, Fe...
ICANN
2003
Springer
15 years 12 months ago
An Adaptable Gaussian Neuro-Fuzzy Classifier
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...
Minas Pertselakis, Dimitrios S. Frossyniotis, Andr...