Sciweavers

DM
2008
58views more  DM 2008»
13 years 4 months ago
Incompleteness of the Giulietti-Ughi arc for large primes
In this paper we show that for large primes the Giulietti-Ughi arcs in PG(2, p2) are not complete. In the second half of the paper we extend the original arc. Key words: Arc, Proj...
Rohit Ghosh
DM
2008
85views more  DM 2008»
13 years 4 months ago
All graphs with maximum degree three whose complements have 4-cycle decompositions
Let G be the set that contains precisely the graphs on n vertices with maximum degree 3 for which there exists a 4-cycle system of their complement in Kn. In this paper G is compl...
Chin-Mei Fu, Hung-Lin Fu, Christopher A. Rodger, T...
DEBU
2008
69views more  DEBU 2008»
13 years 4 months ago
Web Service Protocols: Compatibility and Adaptation
This paper discusses the notion of protocol compatibility between Web services, and reviews a number of techniques for detecting incompatibilities and for synthesizing adapters fo...
Marlon Dumas, Boualem Benatallah, Hamid R. Motahar...
DAM
2008
61views more  DAM 2008»
13 years 4 months ago
Scheduling malleable tasks with interdependent processing rates: Comments and observations
In this short paper we examine the problem of scheduling malleable tasks on parallel processors. One of the main aims of the paper is to present a simple complexity interpretation...
Edmund K. Burke, Moshe Dror, James B. Orlin
DAM
2008
101views more  DAM 2008»
13 years 4 months ago
Three Hoppy path problems and ternary paths
In this paper we solve several recurrence relations with two (three) indices using combinatorial methods. Moreover, we present several recurrence relations with two (three) indice...
Eva Yu-Ping Deng, Toufik Mansour
CORR
2008
Springer
63views Education» more  CORR 2008»
13 years 4 months ago
Desynched channels on IRCnet
In this paper we describe what a desynchronised channel on IRC is. We give procedures on how to create such a channel and how to remove desynchronisation. We explain which types o...
Michael Hansen, Jeroen F. J. Laros
CORR
2008
Springer
77views Education» more  CORR 2008»
13 years 4 months ago
The Separation of Duty with Privilege Calculus
Abstract. This paper presents Privilege Calculus (PC) as a new approach of knowledge representation for Separation of Duty (SD) in the view of process and intents to improve the re...
Chenggong Lv, Jun Wang, Lu Liu, Weijia You
CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 4 months ago
Short proofs of strong normalization
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
Aleksander Wojdyga
CORR
2010
Springer
205views Education» more  CORR 2010»
13 years 4 months ago
Identification of Underspread Linear Systems with Application to Super-Resolution Radar
Identification of time-varying linear systems, which introduce both time-shifts (delays) and frequencyshifts (Doppler-shifts) to the input signal, is one of the central tasks in m...
Waheed U. Bajwa, Kfir Gedalyahu, Yonina C. Eldar
COMGEO
2008
ACM
13 years 4 months ago
Optimal core-sets for balls
Given a set of points P Rd and value > 0, an -core-set S P has the property that the smallest ball containing S is within of the smallest ball containing P. This paper shows ...
Mihai Badoiu, Kenneth L. Clarkson