Sciweavers

2941 search results - page 412 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2004
Springer
108views Education» more  CORR 2004»
15 years 6 months ago
Efficiency Enhancement of Probabilistic Model Building Genetic Algorithms
Abstract. This paper presents two different efficiency-enhancement techniques for probabilistic model building genetic algorithms. The first technique proposes the use of a mutatio...
Kumara Sastry, David E. Goldberg, Martin Pelikan
CORR
2004
Springer
106views Education» more  CORR 2004»
15 years 6 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
147views Education» more  CORR 2004»
15 years 6 months ago
Using Wireless Sensor Networks to Narrow the Gap between Low-Level Information and Context-Awareness
Wireless sensor networks are finally becoming a reality. In this paper, we present a scalable architecture for using wireless sensor networks in combination with wireless Ethernet...
Ioan Raicu, Owen Richter, Loren Schwiebert, Sheral...
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 6 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
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer