7404 search results - page 1380 / 1481 » New Tools in Education |
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
WWW
2010
ACM
14 years 5 months ago
2010
ACM
There are significant barriers to academic research into user Web search preferences. Academic researchers are unable to manipulate the results shown by a major search engine to ...
ASPLOS
2010
ACM
14 years 5 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...
WEA
2010
Springer
14 years 4 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...