Sciweavers

13500 search results - page 2337 / 2700
» Improved analysis of D
Sort
View
DISOPT
2010
129views more  DISOPT 2010»
15 years 7 months ago
Labeled Traveling Salesman Problems: Complexity and approximation
We consider labeled Traveling Salesman Problems, defined upon a complete graph of n vertices with colored edges. The objective is to find a tour of maximum or minimum number of co...
Basile Couëtoux, Laurent Gourvès, J&ea...
ENGL
2008
116views more  ENGL 2008»
15 years 7 months ago
A Low Cost Machine Translation Method for Cross-Lingual Information Retrieval
In one form or another language translation is a necessary part of cross-lingual information retrieval systems. Often times this is accomplished using machine translation systems....
David B. Bracewell, Fuji Ren, Shingo Kuroiwa
195
Voted
FAC
2008
100views more  FAC 2008»
15 years 7 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
FTEDA
2008
75views more  FTEDA 2008»
15 years 7 months ago
Thermally Aware Design
With greater integration, the power dissipation in integrated circuits has begun to outpace the ability of today's heat sinks to limit the on-chip temperature. As a result, t...
Yong Zhan, Sanjay V. Kumar, Sachin S. Sapatnekar
IANDC
2008
150views more  IANDC 2008»
15 years 7 months ago
Hierarchical combination of intruder theories
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
Yannick Chevalier, Michaël Rusinowitch
« Prev « First page 2337 / 2700 Last » Next »