920 search results - page 115 / 184 » Generating Satisfiable Problem Instances |
102
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
AIIA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
100
click to vote
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
119
click to vote
JACM
2007
15 years 18 days ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
95
Voted
SIAMJO
2010
14 years 7 months ago
2010
The sensor network localization, SNL , problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are ...