Sciweavers

DM
2007
103views more  DM 2007»
13 years 4 months ago
Codes from the line graphs of complete multipartite graphs and PD-sets
The binary codes of the line graphs Lm(n) of the complete multipartite graphs Kn1,...,nm (ni = n for 1 ≤ i ≤ m) n ≥ 2, m ≥ 3 are examined, and PD-sets and s-PD-sets are fo...
Jennifer D. Key, P. Seneviratne
IPL
2008
70views more  IPL 2008»
13 years 4 months ago
Minimum-perimeter enclosures
We give efficient algorithms for computing a minimum-perimeter k-gon that encloses a given n-gon. Key words: Computational Geometry, Polygon Optimization
Joseph S. B. Mitchell, Valentin Polishchuk
IPL
2008
65views more  IPL 2008»
13 years 4 months ago
On the fixed-parameter tractability of parameterized model-checking problems
In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be m...
Iain A. Stewart
ENTCS
2006
96views more  ENTCS 2006»
13 years 4 months ago
Weighted Timed Automata: Model-Checking and Games
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
Patricia Bouyer
ALGORITHMICA
2006
103views more  ALGORITHMICA 2006»
13 years 4 months ago
Recognizing Hole-Free 4-Map Graphs in Cubic Time
We present a cubic-time algorithm for the following problem: Given a simple graph, decide whether it is realized by adjacencies of countries in a map without holes, in which at mo...
Zhi-Zhong Chen, Michelangelo Grigni, Christos H. P...
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
13 years 4 months ago
A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...
Carine Jauberthie, Louise Travé-Massuy&egra...
STOC
1994
ACM
97views Algorithms» more  STOC 1994»
13 years 8 months ago
An O(log k) approximation algorithm for the k minimum spanning tree problem in the plane
Givenn points in the Euclideanplane,we considerthe problemof findingthe minimumtree spanninganyk points.The problemis NP-hardand we givean O(logk)-approximationalgorithm. Key Words...
Naveen Garg, Dorit S. Hochbaum
ICYCS
2008
IEEE
13 years 11 months ago
Computer Ability Assisted Assessment System for Large-Scale Heterogeneous Distributed Environments
In 21 century, an era of information and internet, it is essential for universities to develop their education in order to be focused. Testing online has unparalleled advantages i...
Qing Wu, Wen Ding, Weihua Hu, Bishui Zhou, Tianzho...
ICPR
2008
IEEE
13 years 11 months ago
Automatic video annotation with adaptive number of key words
Retrieving videos using key words requires obtaining the semantic features of the videos. Most work reported in the literature focuses on annotating a video shot with a fixed numb...
Fangshi Wang, Wei Lu, Jingen Liu, Mubarak Shah, De...
STOC
2002
ACM
101views Algorithms» more  STOC 2002»
14 years 4 months ago
An exponential separation between regular and general resolution
: This paper gives two distinct proofs of an exponential separation between regular resolution and unrestricted resolution. The previous best known separation between these systems...
Michael Alekhnovich, Jan Johannsen, Toniann Pitass...