Sciweavers

20197 search results - page 684 / 4040
» Comparing Computational Power
Sort
View
IAT
2010
IEEE
15 years 5 months ago
Continuous Double Auction in Grid Computing: An Agent Based Approach to Maximize Profit for Providers
Economic models are found efficient in managing heterogeneous computer resources such as storage, CPU and memory for grid computing. Commodity market, double auction and contract-n...
S. M. Aminul Haque, Saadat M. Alhashmi, Rajendran ...
IAT
2010
IEEE
15 years 5 months ago
Personalisation of Computational Models of Attention by Simulated Annealing Parameter Tuning
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
Rianne van Lambalgen, Peter-Paul van Maanen
RTA
2004
Springer
16 years 22 days ago
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
Frédéric Blanqui
SAC
1998
ACM
15 years 11 months ago
Coordinating autonomous entities
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
Oliver Krone, Fabrice Chantemargue, Thierry Dagaef...
FSS
2006
94views more  FSS 2006»
15 years 7 months ago
Generalized transformed t-conorm integral and multifold integral
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...
Yasuo Narukawa, Vicenç Torra