Sciweavers

2430 search results - page 236 / 486
» Computing Tutte Polynomials
Sort
View
WADS
2005
Springer
187views Algorithms» more  WADS 2005»
15 years 9 months ago
Improved Approximation Algorithms for Metric Maximum ATSP and Maximum 3-Cycle Cover Problems
We consider an APX-hard variant (∆-Max-ATSP) and an APX-hard relaxation (Max-3-DCC) of the classical traveling salesman problem. We present a 31 40-approximation algorithm for ...
Markus Bläser, L. Shankar Ram, Maxim Sviriden...
ICALP
2004
Springer
15 years 9 months ago
Deciding Knowledge in Security Protocols Under Equational Theories
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
Martín Abadi, Véronique Cortier
CSB
2003
IEEE
15 years 9 months ago
An Exact Algorithm For Determining Protein Backbone Structure From NH Residual Dipolar Couplings
We have developed a novel algorithm for protein backbone structure determination using global orientational restraints on internuclear bond vectors derived from residual dipolar c...
Lincong Wang, Ramgopal R. Mettu, Ryan H. Lilien, B...
PG
2003
IEEE
15 years 9 months ago
Butterworth Filtering and Implicit Fairing of Irregular Meshes
In this paper, we propose efficient numerical techniques for Butterworth filtering and implicit fairing of large irregular triangle meshes, where the corresponding filters are ...
Hao Zhang 0002, Eugene Fiume
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 9 months ago
Automatic Synthesis of Controllers for Distributed Assembly and Formation Forming
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...
Eric Klavins