Sciweavers

1368 search results - page 35 / 274
» Avoiding Simplicity Is Complex
Sort
View
DAGSTUHL
2006
13 years 11 months ago
Binary Lambda Calculus and Combinatory Logic
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
John Tromp
ICIP
2002
IEEE
14 years 11 months ago
Retrieval of 3D protein structures
A protein molecule is made of a long chain of amino acid sequences that fold into a complex three-dimensional structure. It is often the geometrical shapes that determine the prot...
Shann-Ching Chen, Tsuhan Chen
WEA
2004
Springer
110views Algorithms» more  WEA 2004»
14 years 3 months ago
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs
Abstract. We consider how to maintain the topological order of a directed acyclic graph (DAG) in the presence of edge insertions and deletions. We present a new algorithm and, alth...
David J. Pearce, Paul H. J. Kelly
IPTPS
2003
Springer
14 years 3 months ago
A Simple Fault Tolerant Distributed Hash Table
We introduce a distributed hash table (DHT) with logarithmic degree and logarithmic dilation. We show two lookup algorithms. The first has a message complexity of log n and is ro...
Moni Naor, Udi Wieder
AGENTS
1997
Springer
14 years 2 months ago
Go with the Flow: Synthetic Vision for Autonomous Animated Creatures
Real-time obstacle avoidance and low-level navigation is a fundamental problem for autonomous animated creatures. Here we present an ethologically inspired approach to this proble...
Bruce Blumberg