Sciweavers

9405 search results - page 340 / 1881
» Computing a Model of Set Theory
Sort
View
ATAL
2011
Springer
14 years 5 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
141
Voted
CINQ
2004
Springer
131views Database» more  CINQ 2004»
15 years 10 months ago
Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
Artur Bykowski, Jouni K. Seppänen, Jaakko Hol...
MOBIHOC
2001
ACM
16 years 4 months ago
Effects of power conservation, wireless coverage and cooperation on data dissemination among mobile devices
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
Maria Papadopouli, Henning Schulzrinne
DNA
2007
Springer
159views Bioinformatics» more  DNA 2007»
15 years 11 months ago
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
Urmi Majumder, Thomas H. LaBean, John H. Reif
139
Voted
HAPTICS
2005
IEEE
15 years 10 months ago
Selective Stimulation to Superficial Mechanoreceptors by Temporal Control of Suction Pressure
In this paper we propose a new set of primitives to realize a large-area covering realistic tactile display. They stimulate the skin surface with suction pressure (SPS method) as ...
Yasutoshi Makino, Hiroyuki Shinoda