Sciweavers

513 search results - page 24 / 103
» Generic Methods for Optimization-Based Modeling
Sort
View
IOR
2011
152views more  IOR 2011»
13 years 3 months ago
Risk-Averse Two-Stage Stochastic Linear Programming: Modeling and Decomposition
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
Naomi Miller, Andrzej Ruszczynski
SG
2009
Springer
14 years 3 months ago
Interactive Context-Aware Visualization for Mobile Devices
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
Mike Eissele, Daniel Weiskopf, Thomas Ertl
AIFIPP
1992
13 years 9 months ago
Task-Structure Analysis for Knowledge Modeling
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
B. Chandrasekaran, Todd R. Johnson, Jack W. Smith
COLING
2010
13 years 3 months ago
Multilingual Summarization Evaluation without Human Models
We study correlation of rankings of text summarization systems using evaluation methods with and without human models. We apply our comparison framework to various well-establishe...
Horacio Saggion, Juan Manuel Torres Moreno, Iria d...
ENTCS
2007
121views more  ENTCS 2007»
13 years 8 months ago
Incremental Parametric Development of Greedy Algorithms
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
Dominique Cansell, Dominique Méry