Sciweavers

1040 search results - page 86 / 208
» A Syntactical Approach to Revision
Sort
View
BC
2005
88views more  BC 2005»
13 years 10 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...
SIGMOD
2002
ACM
106views Database» more  SIGMOD 2002»
13 years 9 months ago
A Study on the Management of Semantic Transaction for Efficient Data Retrieval
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...
Shi-Ming Huang, Irene S. Y. Kwan, Chih-He Li
WWW
2011
ACM
13 years 5 months ago
Wikipedia vandalism detection
Wikipedia is an online encyclopedia which anyone can edit. While most edits are constructive, about 7% are acts of vandalism. Such behavior is characterized by modifications made ...
Santiago Moisés Mola-Velasco
WLP
1997
Springer
14 years 2 months ago
Constrained Partial Deduction
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
Michael Leuschel, Danny De Schreye
AI
1998
Springer
13 years 9 months ago
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
John L. Pollock