Sciweavers

1363 search results - page 159 / 273
» Dynamics of a Classical Conditioning Model
Sort
View
92
Voted
ICNSC
2007
IEEE
15 years 7 months ago
Optimization and Control of a Pendulum-driven Cart-pole System
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...
Yang Liu, Hongnian Yu, Brian Burrows
88
Voted
CCGRID
2004
IEEE
15 years 4 months ago
When can an autonomous reputation scheme discourage free-riding in a peer-to-peer system?
We investigate the circumstances under which it is possible to discourage free-riding in a peer-to-peer system for resource-sharing by prioritizing resource allocation to peers wi...
Nazareno Andrade, Miranda Mowbray, Walfredo Cirne,...
TPLP
2002
90views more  TPLP 2002»
15 years 13 days ago
Properties of input-consuming derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
AAAI
2000
15 years 2 months ago
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
James P. Delgrande, Torsten Schaub
78
Voted
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
14 years 11 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...