10916 search results - page 275 / 2184 » On Constructive Connectives and Systems |
144
click to vote
DM
2008
15 years 6 months ago
2008
LR design is introduced by the second author in his recent paper, and it plays a very important role in the construction of LKTS (a large set of disjoint Kirkman triple system). I...
140
Voted
ACL
2009
15 years 4 months ago
2009
We present a human-robot dialogue system that enables a robot to work together with a human user to build wooden construction toys. We then describe a study in which na
180
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
239
click to vote
BROADNETS
2005
IEEE
16 years 11 days ago
2005
IEEE
—In this paper, we present an extended Mobile Backbone Network (MBN) topology synthesis algorithm (ETSA) for constructing and maintaining a dynamic backbone structure in mobile w...
160
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
In evolutionary algorithms a common method for encoding neural networks is to use a tree-structured assembly procedure for constructing them. Since node operators have difficulties...