We construct large caps in projective spaces of small dimension (up to 11) defined over fields of order at most 9. The constructions are both theoretical and computer-supported. S...
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...
We develop a new method for building a representation of an image from a library of basis elements that is facilitated by a joint adaptive space and frequency JASF graph. The JA...