6020 search results - page 605 / 1204 » A New Approach to Model Counting |
180
click to vote
COCO
2003
Springer
16 years 13 days ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
191
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
158
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
190
click to vote
ICCSA
2009
Springer
16 years 2 months ago
2009
Springer
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
214
click to vote
ECWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...