Sciweavers

12107 search results - page 2128 / 2422
» Software That Can Think
Sort
View
COMPUTER
2006
98views more  COMPUTER 2006»
15 years 6 months ago
Energy-Aware User Interfaces and Energy-Adaptive Displays
The utility of a mobile computer, such as a handheld or a laptop, is largely constrained by battery life. The display stands out as a major consumer of battery energy, so reducing...
Parthasarathy Ranganathan, Erik Geelhoed, Meera Ma...
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 6 months ago
Pathways: Augmenting interoperability across scholarly repositories
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaomi...
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 6 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 6 months ago
Prolog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
Alin Suciu, Kalman Pusztai, Andrei Vancea
CORR
2006
Springer
160views Education» more  CORR 2006»
15 years 6 months ago
On Conditional Branches in Optimal Search Trees
A commonly used type of search tree is the alphabetic binary tree, which uses (without loss of generality) "less than" versus "greater than or equal to" tests ...
Michael B. Baer
« Prev « First page 2128 / 2422 Last » Next »