Sciweavers

2430 search results - page 236 / 486
» Computing Tutte Polynomials
Sort
View
WADS
2005
Springer
187views Algorithms» more  WADS 2005»
16 years 16 days 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
16 years 13 days 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
16 years 10 days 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
16 years 10 days 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 12 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