7821 search results - page 150 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
203
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
151
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we address the importance of efficient execution in electronic markets. Due to intense competition for profit opportunities, trading costs can represent a significa...
151
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
In the paper we demonstrate how evolutionary search for functional optima can be used as a vehicle for data mining. That is, in the process of searching for optima in a multi-dime...
138
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
190
click to vote
RTA
1995
Springer
15 years 9 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...