Sciweavers

13987 search results - page 408 / 2798
» The Two Guards Problem
Sort
View
ICDE
2009
IEEE
90views Database» more  ICDE 2009»
16 years 1 months ago
Uncertain Location Based Range Aggregates in a Multi-dimensional Space
— Uncertain data are inherent in many applications such as environmental surveillance and quantitative economics research. Recently, considerable research efforts have been put i...
Ying Zhang, Xuemin Lin, Yufei Tao, Wenjie Zhang
ALGOSENSORS
2009
Springer
16 years 1 months ago
Building a Communication Bridge with Mobile Hubs
We study scenarios where mobile hubs are charged with building a communication bridge between two given points s and t. We introduce a new bi-criteria optimization problem where th...
Onur Tekdas, Yokesh Kumar, Volkan Isler, Ravi Jana...
WFLP
2009
Springer
244views Algorithms» more  WFLP 2009»
16 years 1 months ago
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reduci...
Yuki Kato, Koji Nakazawa
GMP
2008
IEEE
113views Solid Modeling» more  GMP 2008»
16 years 1 months ago
Note on Industrial Applications of Hu's Surface Extension Algorithm
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...
Yu Zang, Yong-Jin Liu, Yu-Kun Lai
ICALP
2007
Springer
16 years 1 months ago
Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs
We study the problem of finding occurrences of motifs in vertex-colored graphs, where a motif is a multiset of colors, and an occurrence of a motif is a subset of connected vertic...
Michael R. Fellows, Guillaume Fertin, Danny Hermel...