626 search results - page 98 / 126 » When Can Formal Methods Make a Real Difference |
132
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The resolution of a Multi-Objective Optimization Problem (MOOP) does not end when the Pareto-optimal set is found. In real problems, a single solution must be selected. Ideally, t...
183
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Model-based declarative queries are becoming an attractive paradigm for interacting with many data stream applications. This has led to the development of techniques to accurately...
129
Voted
VVS
1998
IEEE
15 years 7 months ago
1998
IEEE
Although direct volume rendering is a powerful tool for visualizing complex structures within volume data, the size and complexity of the parameter space controlling the rendering...
131
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
132
Voted
AIPS
2000
15 years 4 months ago
2000
1 We consider the problem of scheduling an unknown sequence of tasks for a single server as the tasks arrive with the goal off maximizing the total weighted value of the tasks serv...