1802 search results - page 268 / 361 » Model-based Theory Combination |
205
click to vote
RTAS
2002
IEEE
16 years 10 days ago
2002
IEEE
Real-time scheduling theory has developed powerful tools for translating conditions on aggregate system utilization into per-task schedulability guarantees. The main breakthrough ...
241
Voted
GECCO
2010
Springer
16 years 7 days ago
2010
Springer
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
171
Voted
ICALP
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
219
click to vote
CDC
2009
IEEE
16 years 4 days ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
185
click to vote
CDC
2009
IEEE
16 years 4 days ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...