Sciweavers

4843 search results - page 438 / 969
» The Shortcut Problem - Complexity and Approximation
Sort
View
160
Voted
WAOA
2004
Springer
141views Algorithms» more  WAOA 2004»
15 years 10 months ago
Strong Colorings of Hypergraphs
Abstract. A strong vertex coloring of a hypergraph assigns distinct colors to vertices that are contained in a common hyperedge. This captures many previously studied graph colorin...
Geir Agnarsson, Magnús M. Halldórsso...
142
Voted
FORMATS
2003
Springer
15 years 10 months ago
On Timing Analysis of Combinational Circuits
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
Ramzi Ben Salah, Marius Bozga, Oded Maler
146
Voted
CRV
2007
IEEE
101views Robotics» more  CRV 2007»
15 years 9 months ago
Energy Efficient Robot Rendezvous
We examine the problem of finding a single meeting location for a group of heterogeneous autonomous mobile robots, such that the total system cost of traveling to the rendezvous i...
Pawel Zebrowski, Yaroslav Litus, Richard T. Vaugha...
121
Voted
BILDMED
2008
168views Algorithms» more  BILDMED 2008»
15 years 6 months ago
Freehand 3-D Sonographic Measurement of the Superficial Femoral Artery
Visualization of vessels for diagnostics and intervention are usually done under fluoroscopic X-ray view using intravenous contrast agents, which has potential risks. To avoid this...
Dennis Sandkühler, Christian Sobotta, Matthia...
NIPS
2007
15 years 6 months ago
Agreement-Based Learning
The learning of probabilistic models with many hidden variables and nondecomposable dependencies is an important and challenging problem. In contrast to traditional approaches bas...
Percy Liang, Dan Klein, Michael I. Jordan