Sciweavers

9119 search results - page 1512 / 1824
» A Simultaneous Search Problem
Sort
View
SIGMOD
2010
ACM
191views Database» more  SIGMOD 2010»
15 years 4 months ago
Data conflict resolution using trust mappings
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
Wolfgang Gatterbauer, Dan Suciu
AIEDAM
2007
105views more  AIEDAM 2007»
15 years 4 months ago
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...
Ivey Chiu, L. H. Shu
JGAA
2002
86views more  JGAA 2002»
15 years 4 months ago
Planar Graphs with Topological Constraints
We address in this paper the problem of constructing embeddings of planar graphs satisfying declarative, user-defined topological constraints. The constraints consist each of a cy...
Christoph Dornheim
CORR
2010
Springer
155views Education» more  CORR 2010»
15 years 1 months ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
ANOR
2011
101views more  ANOR 2011»
14 years 11 months ago
The case for strategic oscillation
Hard problems for metaheuristic search can be a source of insight for developing better methods. We examine a challenging instance of such a problem that has exactly two local opt...
Fred Glover, Jin-Kao Hao
« Prev « First page 1512 / 1824 Last » Next »