9626 search results - page 1736 / 1926 » Invariant Based Programming |
116
Voted
EOR
2000
15 years 2 months ago
2000
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
121
Voted
DATAMINE
2002
15 years 2 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
134
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...
119
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
129
Voted
ENTCS
2002
15 years 2 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...