Sciweavers

274 search results - page 44 / 55
» corr 2004
Sort
View
CORR
2004
Springer
82views Education» more  CORR 2004»
13 years 9 months ago
Towards a Mathematical Theory of the Delays of the Asynchronous Circuits
The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting p...
Serban E. Vlad
CORR
2004
Springer
106views Education» more  CORR 2004»
13 years 9 months ago
Roaming Real-Time Applications - Mobility Services in IPv6 Networks
Emerging mobility standards within the next generation Internet Protocol, IPv6, promise to continuously operate devices roaming between IP networks. Associated with the paradigm o...
Thomas C. Schmidt, Matthias Wählisch
CORR
2004
Springer
128views Education» more  CORR 2004»
13 years 9 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...
CORR
2004
Springer
90views Education» more  CORR 2004»
13 years 9 months ago
Non-computable Julia sets
While most polynomial Julia sets are computable, it has been recently shown [12] that there exist non-computable Julia sets. The proof was non-constructive, and indeed there were ...
Mark Braverman, Michael Yampolsky
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 9 months ago
Integrating Defeasible Argumentation and Machine Learning Techniques
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
Sergio Alejandro Gómez, Carlos Iván ...