Sciweavers

1153 search results - page 136 / 231
» The Complexity of Revision, Revised
Sort
View
117
Voted
BC
2005
88views more  BC 2005»
15 years 5 months ago
Threading neural feedforward into a mechanical spring: How biology exploits physics in limb control
A solution is proposed of the hitherto unsolved problem as to how neural feedforward through inverse modelling and negative feedback realised by a mechanical spring can be combined...
Karl-Theodor Kalveram, Thomas Schinauer, Steffen B...
JAPLL
2007
117views more  JAPLL 2007»
15 years 5 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
JAR
2007
72views more  JAR 2007»
15 years 5 months ago
Inferring Phylogenetic Trees Using Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, Ja...
178
Voted
JGAA
2007
142views more  JGAA 2007»
15 years 5 months ago
Approximation Algorithms for the Maximum Induced Planar and Outerplanar Subgraph Problems
The task of finding the largest subset of vertices of a graph that induces a planar subgraph is known as the Maximum Induced Planar Subgraph problem (MIPS). In this paper, some n...
Kerri Morgan, Graham Farr
TSMC
2008
81views more  TSMC 2008»
15 years 5 months ago
Role Transfer Problems and Algorithms
Role transfer is a usual activity in an organization, especially in a crisis situation. Role assignment and transfer regulations are important to accomplish it. This paper discusse...
Haibin Zhu, MengChu Zhou