Sciweavers

Share
JC
2000
135views more  JC 2000»
8 years 12 months ago
Decision Problems in Quadratic Function Fields of High Genus
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
Renate Scheidler
IWC
2000
81views more  IWC 2000»
8 years 12 months ago
Steps to take before intelligent user interfaces become real
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...
Kristina Höök
EOR
2002
80views more  EOR 2002»
8 years 12 months ago
On generalized semi-infinite optimization and bilevel optimization
The paper studies the connections and differences between bilevel problems (BL) and generalized semi-infinite problems (GSIP). Under natural assumptions (GSIP) can be seen as a sp...
Oliver Stein, Georg Still
BIB
2007
114views more  BIB 2007»
8 years 12 months ago
Frontiers of biomedical text mining: current progress
It is now almost15 years since the publication of the first paper on text mining in the genomics domain, and decades since the first paper on text mining in the medical domain. En...
Pierre Zweigenbaum, Dina Demner-Fushman, Hong Yu, ...
COR
2004
291views more  COR 2004»
8 years 12 months ago
Cycling in linear programming problems
We collected and analyzed a number of linear programming problems that have been shown to cycle (not converge) when solved by Dantzig's original simplex algorithm. For these ...
Saul I. Gass, Sasirekha Vinjamuri
CCE
2004
9 years 2 hour ago
Modeling and solving real-time scheduling problems by stochastic integer programming
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
Guido Sand, Sebastian Engell
ANOR
2002
57views more  ANOR 2002»
9 years 11 hour ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard
AMAI
2002
Springer
9 years 12 hour ago
Quantum Mereotopology
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
Barry Smith, Berit Brogaard
JUCS
2007
99views more  JUCS 2007»
9 years 20 hour ago
Consensus Determining with Dependencies of Attributes with Interval Values
: In this paper the author considers some problems related to attribute dependencies in consensus determining. These problems concern the dependencies of attributes representing th...
Michal Zgrzywa
ALGORITHMICA
2004
130views more  ALGORITHMICA 2004»
9 years 21 hour ago
The Power of Priority Algorithms for Facility Location and Set Cover
We apply and extend the priority algorithm framework introduced by Borodin, Nielsen, and Rackoff to define "greedy-like" algorithms for the (uncapacitated) facility locat...
Spyros Angelopoulos, Allan Borodin
books