1325 search results - page 191 / 265 » An Approach to Generation of Decision Rules |
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
OWLED
2008
14 years 11 months ago
2008
One of the commonly requested features for OWL is some form of key support, generally phrased as allowing inverse-functional datatype properties. For a variety of technical reasons...
DSS
2008
14 years 10 months ago
2008
In this paper we consider a multi-agent system (MAS) for the logistics control of Automatic Guided Vehicles (AGVs) that are used in the dough making process at an industrial baker...
EOR
2008
14 years 10 months ago
2008
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
EOR
2007
14 years 9 months ago
2007
One approach to supply chain coordination is early order commitment, whereby a retailer commits to purchase a fixedorder quantity at a fixed delivery time before demand uncertai...