Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
We introduce locally-rigid motion, a general framework for solving the M-point, N-view structure-from-motion problem for unknown bodies deforming under orthography. The key idea i...
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
A core problem in data mining is to retrieve data in a easy and human friendly way. Automatically translating natural language questions into SQL queries would allow for the design...
Abstract—We examine the performance of a rate-0.9 structured irregular repeat-accumulate (S-IRA) code on a perpendicular magnetic recording (PMR) channel with media noise. To acc...