Sciweavers

10916 search results - page 160 / 2184
» On Constructive Connectives and Systems
Sort
View
HICSS
2003
IEEE
84views Biometrics» more  HICSS 2003»
15 years 12 months ago
Constructing Electronic Marketplaces using Peer-to-Peer Technology
Due to the widespread appearance of filesharing systems like Napster, the peer-to-peer concept has recently become well known. So far, these file-sharing systems have been used fo...
Nick Gehrke, Matthias Schumann
IC
2004
15 years 8 months ago
Mobile Agents: A Construction Kit for Mobile Device Applications
Abstract-- Mobile Agents are a well-known programming paradigm nowadays. There is a multitude of research concerning Mobile Agent Systems with emphasize on agent coordination, agen...
Michael Friedrich, Kirsten Terfloth, Gerd Nusser, ...
ENTCS
2000
60views more  ENTCS 2000»
15 years 6 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
CIAC
2006
Springer
106views Algorithms» more  CIAC 2006»
15 years 10 months ago
On the Hardness of Range Assignment Problems
We investigate the computational hardness of the Connectivity, the Strong Connectivity and the Broadcast type of Range Assignment Problems in R2 and R3. We present new reductions ...
Bernhard Fuchs
TOG
2012
206views Communications» more  TOG 2012»
13 years 9 months ago
Beady: interactive beadwork design and construction
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...
Yuki Igarashi, Takeo Igarashi, Jun Mitani