Sciweavers

15792 search results - page 10 / 3159
» Computational Abstraction Steps
Sort
View
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 2 months ago
An Interior-Point Algorithm for Large-Scale Nonlinear Optimization with Inexact Step Computations
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
Frank E. Curtis, Olaf Schenk, Andreas Wächter
COMPUTER
2002
70views more  COMPUTER 2002»
13 years 7 months ago
Jini Home Networking: A Step toward Pervasive Computing
Rahul Gupta, Sumeet Talwar, Dharma P. Agrawal
ENTCS
2006
110views more  ENTCS 2006»
13 years 7 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
ITICSE
2006
ACM
14 years 1 months ago
One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
Giovanni M. Bianco, Simonetta Tinazzi
SAC
2010
ACM
14 years 2 months ago
Gray networking: a step towards next generation computer networks
Modern networks are very complex. It is highly desirable to reduce management complexity in next generation network design. Researchers have been seeking inspiration in natural ob...
Piyush Harsh, Randy Chow, Richard Newman