935 search results - page 45 / 187 » Stable models and difference logic |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
This paper proposes a novel wideband modeling technique for high-performance RF passives and linear(ized) analog circuits. The new method is based on a recently proposed sdomain h...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...