6300 search results - page 113 / 1260 » We have it easy, but do we have it right |
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
IJAC
2008
15 years 1 months ago
2008
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...
TCS
2008
15 years 1 months ago
2008
The comma-free codes and circular codes are two important classes of codes in code theory and in genetics. Fifty years ago before the discovery of the genetic code, a trinucleotid...
118
click to vote
COR
2006
15 years 1 months ago
2006
Crossdocking studies have mostly been concerned with the physical layout of a crossdock or on a single crossdock. In this work, we study a network of crossdocks taking into consid...
100
click to vote
IPL
2006
15 years 1 months ago
2006
The Job Scheduling with Cancellation problem is a variation of classical scheduling problems in which jobs can be cancelled while waiting for execution. In this paper we prove a t...