Sciweavers

1413 search results - page 202 / 283
» Bisimilarity of Open Terms
Sort
View
CIKM
2010
Springer
15 years 5 months ago
Choosing your own adventure: automatic taxonomy generation to permit many paths
A taxonomy organizes concepts or topics in a hierarchical structure and can be created manually or via automated systems. A major drawback of taxonomies is that they require users...
Xiaoguang Qi, Dawei Yin, Zhenzhen Xue, Brian D. Da...
JCSS
2010
146views more  JCSS 2010»
15 years 5 months ago
Connected facility location via random facility sampling and core detouring
We present a simple randomized algorithmic framework for connected facility location problems. The basic idea is as follows: We run a black-box approximation algorithm for the unc...
Friedrich Eisenbrand, Fabrizio Grandoni, Thomas Ro...
JGT
2010
90views more  JGT 2010»
15 years 5 months ago
The rainbow connection of a graph is (at most) reciprocal to its minimum degree
An edge-colored graph G is rainbow edge-connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection of a connected graph G, deno...
Michael Krivelevich, Raphael Yuster
OOPSLA
2010
Springer
15 years 4 months ago
From OO to FPGA: fitting round objects into square hardware?
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
Stephen Kou, Jens Palsberg
PERCOM
2010
ACM
15 years 4 months ago
Crowdsourced radiomap for room-level place recognition in urban environment
Abstract—The proliferation of WLAN infrastructures has facilitated numerous indoor localization techniques using WLAN fingerprints. In particular, identifying a room or a place i...
Minkyu Lee, Hyunil Yang, Dongsoo Han, Chansu Yu