2152 search results - page 153 / 431 » On Automating the Calculus of Relations |
205
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
130
click to vote
MANSCI
2010
15 years 4 months ago
2010
Retail store managers may not follow order advices generated by an automated inventory replenishment system if their incentives differ from the cost minimization objective of the...
147
click to vote
CASE
2011
14 years 6 months ago
2011
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
206
click to vote
AFRIGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
174
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...