Sciweavers

2681 search results - page 255 / 537
» Problem F
Sort
View
ICML
1990
IEEE
15 years 6 months ago
Explanations of Empirically Derived Reactive Plans
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
Diana F. Gordon, John J. Grefenstette
CEC
2009
IEEE
15 years 6 months ago
Search methodologies for efficient planetary site selection
Landing on distant planets is always a challenging task due to the distance and hostile environments found. In the design of autonomous hazard avoidance systems we find the particu...
Luís F. Simões, Tiago C. Pais, Rita ...
133
Voted
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
15 years 6 months ago
Group Recommending: A methodological Approach based on Bayesian Networks
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....
Luis M. de Campos, Juan M. Fernández-Luna, ...
AMAST
2006
Springer
15 years 6 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ASPDAC
2006
ACM
176views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Closed form solution for optimal buffer sizing using the Weierstrass elliptic function
Abstract-- This paper presents a fundamental result on buffer sizing. Given an interconnection wire with n buffers evenly spaced along the wire, we would like to size all buffers s...
Sebastian Vogel, Martin D. F. Wong