Sciweavers

1063 search results - page 51 / 213
» Order and Negation as Failure
Sort
View
ASPDAC
2009
ACM
117views Hardware» more  ASPDAC 2009»
14 years 4 months ago
Adaptive techniques for overcoming performance degradation due to aging in digital circuits
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a major reliability concern in present-day digital circuit design. Further, with the recent usage of...
Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatneka...
ASP
2003
Springer
14 years 3 months ago
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
Martin Brain, Marina De Vos
ECEASST
2008
106views more  ECEASST 2008»
13 years 10 months ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan
MP
2008
103views more  MP 2008»
13 years 10 months ago
Aggregation and discretization in multistage stochastic programming
Multistage stochastic programs have applications in many areas and support policy makers in finding rational decisions that hedge against unforeseen negative events. In order to en...
Daniel Kuhn
AIEDU
2005
83views more  AIEDU 2005»
13 years 9 months ago
A Simulated Student Can Improve Collaborative Learning
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
Aurora Vizcaíno