Sciweavers

800 search results - page 1 / 160
» Towards a formalization of budgets
Sort
View
CORR
2008
Springer
95views Education» more  CORR 2008»
13 years 8 months ago
Towards a formalization of budgets
Jan A. Bergstra, Sanne Nolst Trenité, Mark ...
EWCBR
2004
Springer
14 years 1 months ago
Quantifying the Ocean's CO2 Budget with a CoHeL-IBR System
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...
Juan M. Corchado, Jim Aiken, Emilio Corchado, Nath...
CVPR
2011
IEEE
13 years 5 months ago
Adequate Reconstruction of Transparent Objects on a Shoestring Budget
Reconstructing transparent objects is a challenging problem. While producing reasonable results for quite complex objects, existing approaches require custom calibration or somewh...
Sai-Kit Yeung, Tai-Pang Wu, Chi-keung Tang, Tony F...
IWCMC
2006
ACM
14 years 2 months ago
Budgeting power: packet duplication and bit error rate reduction in wireless ad-hoc networks
In this paper we present and evaluate a new technique to lower packet-level error rates of application layer connections in wireless ad-hoc networks. In our scheme, data packets s...
Ghassen Ben Brahim, Bilal Khan
ASPDAC
2008
ACM
93views Hardware» more  ASPDAC 2008»
13 years 10 months ago
Scheduling with integer time budgeting for low-power optimization
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
Wei Jiang, Zhiru Zhang, Miodrag Potkonjak, Jason C...