6514 search results - page 1023 / 1303 » Low-Knowledge Algorithm Control |
122
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
124
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
— The fairness of IEEE 802.11 wireless networks (including Wireless LAN and Ad-hoc networks) is hard to predict and control because of the randomness and complexity of the MAC co...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
141
click to vote
EOR
2007
15 years 3 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...
116
click to vote
EOR
2007
15 years 3 months ago
2007
In this study we focus on the integration of inventory control and vehicle routing schedules for a distribution system in which the warehouse is responsible for the replenishment ...