Sciweavers

2715 search results - page 452 / 543
» An Implementation of Narrowing Strategies
Sort
View
ML
2008
ACM
13 years 10 months ago
Margin-based first-order rule learning
Abstract We present a new margin-based approach to first-order rule learning. The approach addresses many of the prominent challenges in first-order rule learning, such as the comp...
Ulrich Rückert, Stefan Kramer
LISP
2006
160views more  LISP 2006»
13 years 10 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
NN
2006
Springer
140views Neural Networks» more  NN 2006»
13 years 10 months ago
Neural mechanism for stochastic behaviour during a competitive game
Previous studies have shown that non-human primates can generate highly stochastic choice behaviour, especially when this is required during a competitive interaction with another...
Alireza Soltani, Daeyeol Lee, Xiao-Jing Wang
IJNSEC
2007
157views more  IJNSEC 2007»
13 years 10 months ago
Balancing Trust and Incentive in Peer-to-Peer Collaborative System
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
Yu Zhang, Li Lin, Jinpeng Huai
IJSYSC
2007
170views more  IJSYSC 2007»
13 years 10 months ago
Nonlinear attitude and gyroscope's bias estimation for a VTOL UAV
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
Jean Michel Pflimlin, Tarek Hamel, Philippe Sou&eg...